Copertina

Nowhere trivial automorphisms of $P(λ)/[λ]^{<λ}$, for $λ$ inaccessible

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kellner, Jakob, Shelah, Saharon
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On automorphisms of $\mathcal P(λ)/[λ]^{<λ}$
di: Kellner, Jakob, et al.
Pubblicazione: (2022)

The $λ$-PSP at $λ$-coanalytic sets
di: Barrera, Fernando, et al.
Pubblicazione: (2025)

Cardinals of the $P_κ(λ)$-Filter Games
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

A note on iterating strongly $(<λ)$-closed stationary $λ^+$-cc forcing
di: Džamonja, Mirna
Pubblicazione: (2026)

On the complexity of normalization for the planar $λ$-calculus
di: Das, Anupam, et al.
Pubblicazione: (2024)

The $K_\infty$ Homotopy $λ$-Model
di: Martínez-Rivillas, Daniel O., et al.
Pubblicazione: (2025)

Reasonable Space for the $λ$-Calculus, Logarithmically
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
di: Schlutzenberg, Farmer
Pubblicazione: (2020)

Hypergraph rewriting and Causal structure of $λ-$calculus
di: Bajaj, Utkarsh
Pubblicazione: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
di: Traversié, Thomas
Pubblicazione: (2024)

A Classical Linear $λ$-Calculus based on Contraposition
di: Barenbaum, Pablo, et al.
Pubblicazione: (2026)

String Diagrams for $λ$-calculi and Functional Computation
di: Ghica, Dan, et al.
Pubblicazione: (2023)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
di: Traversié, Thomas
Pubblicazione: (2024)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
di: Blot, Valentin, et al.
Pubblicazione: (2024)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
di: Barbarossa, Davide
Pubblicazione: (2024)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
di: Biernacka, Małgorzata, et al.
Pubblicazione: (2022)

Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
di: Böhm, Corrado, et al.
Pubblicazione: (2025)

Quite free p-groups with trivial duality
di: Asgharzadeh, Mohsen, et al.
Pubblicazione: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

Partition theorems for expanded trees
di: Shelah, Saharon
Pubblicazione: (2021)

Modules and Infinitary Logics
di: Shelah, Saharon
Pubblicazione: (2010)

Consistency of square bracket partition relation
di: Shelah, Saharon
Pubblicazione: (2026)

Super Black Boxes Revisited
di: Shelah, Saharon
Pubblicazione: (2026)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
di: Shelah, Saharon
Pubblicazione: (1991)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
di: Gullà, Gabriele
Pubblicazione: (2024)

Bijections between planar maps and planar linear normal $λ$-terms with connectivity condition
di: Fang, Wenjie
Pubblicazione: (2022)

$(λ,λ)$-eigenfunctions on compact manifolds
di: Munn, Thomas Jack, et al.
Pubblicazione: (2024)

$λ$-shaped random matrices, $λ$-plane trees, and $λ$-Dyck paths
di: Bisi, Elia, et al.
Pubblicazione: (2024)

On groups well represented as automorphism groups of groups
di: Asgharzadeh, Mohsen, et al.
Pubblicazione: (2024)

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures
di: Freni, Pietro
Pubblicazione: (2024)

Preservation of splitting families and cardinal characteristics of the continuum
di: Goldstern, Martin, et al.
Pubblicazione: (2020)

Saccharinity with ccc
di: Horowitz, Haim, et al.
Pubblicazione: (2016)

Stable amalgamation over a predicate and the Gaifman property
di: Shelah, Saharon, et al.
Pubblicazione: (2025)

The measuring principle and the continuum hypothesis
di: Golshani, Mohammad, et al.
Pubblicazione: (2022)

Abstract Corrected Iterations
di: Horowitz, Haim, et al.
Pubblicazione: (2023)

Flag-transitive $2$-$(v,k,λ)$ designs with $λ\ge (r,λ)^2$
di: Zhang, Junchi, et al.
Pubblicazione: (2025)

Twins: non-isomorphic models forced to be isomorphic. Part I
di: Shelah, Saharon
Pubblicazione: (2025)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
di: Cerda, Rémy, et al.
Pubblicazione: (2023)

Between Whitehead groups and uniformization
di: Poór, Márk, et al.
Pubblicazione: (2022)

A Borel maximal cofinitary group
di: Horowitz, Haim, et al.
Pubblicazione: (2016)