Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kellner, Jakob, Shelah, Saharon
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

The $λ$-PSP at $λ$-coanalytic sets
von: Barrera, Fernando, et al.
Veröffentlicht: (2025)

Cardinals of the $P_κ(λ)$-Filter Games
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

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

On the complexity of normalization for the planar $λ$-calculus
von: Das, Anupam, et al.
Veröffentlicht: (2024)

The $K_\infty$ Homotopy $λ$-Model
von: Martínez-Rivillas, Daniel O., et al.
Veröffentlicht: (2025)

Reasonable Space for the $λ$-Calculus, Logarithmically
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2022)

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

Hypergraph rewriting and Causal structure of $λ-$calculus
von: Bajaj, Utkarsh
Veröffentlicht: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
von: Traversié, Thomas
Veröffentlicht: (2024)

A Classical Linear $λ$-Calculus based on Contraposition
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2026)

String Diagrams for $λ$-calculi and Functional Computation
von: Ghica, Dan, et al.
Veröffentlicht: (2023)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
von: Traversié, Thomas
Veröffentlicht: (2024)

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

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
von: Barbarossa, Davide
Veröffentlicht: (2024)

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

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

Quite free p-groups with trivial duality
von: Asgharzadeh, Mohsen, et al.
Veröffentlicht: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
von: Amato, Gianluca, et al.
Veröffentlicht: (2024)

Partition theorems for expanded trees
von: Shelah, Saharon
Veröffentlicht: (2021)

Modules and Infinitary Logics
von: Shelah, Saharon
Veröffentlicht: (2010)

Consistency of square bracket partition relation
von: Shelah, Saharon
Veröffentlicht: (2026)

Super Black Boxes Revisited
von: Shelah, Saharon
Veröffentlicht: (2026)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
von: Shelah, Saharon
Veröffentlicht: (1991)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
von: Gullà, Gabriele
Veröffentlicht: (2024)

Bijections between planar maps and planar linear normal $λ$-terms with connectivity condition
von: Fang, Wenjie
Veröffentlicht: (2022)

$(λ,λ)$-eigenfunctions on compact manifolds
von: Munn, Thomas Jack, et al.
Veröffentlicht: (2024)

$λ$-shaped random matrices, $λ$-plane trees, and $λ$-Dyck paths
von: Bisi, Elia, et al.
Veröffentlicht: (2024)

On groups well represented as automorphism groups of groups
von: Asgharzadeh, Mohsen, et al.
Veröffentlicht: (2024)

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures
von: Freni, Pietro
Veröffentlicht: (2024)

Preservation of splitting families and cardinal characteristics of the continuum
von: Goldstern, Martin, et al.
Veröffentlicht: (2020)

Saccharinity with ccc
von: Horowitz, Haim, et al.
Veröffentlicht: (2016)

Stable amalgamation over a predicate and the Gaifman property
von: Shelah, Saharon, et al.
Veröffentlicht: (2025)

The measuring principle and the continuum hypothesis
von: Golshani, Mohammad, et al.
Veröffentlicht: (2022)

Abstract Corrected Iterations
von: Horowitz, Haim, et al.
Veröffentlicht: (2023)

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

Twins: non-isomorphic models forced to be isomorphic. Part I
von: Shelah, Saharon
Veröffentlicht: (2025)

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

Between Whitehead groups and uniformization
von: Poór, Márk, et al.
Veröffentlicht: (2022)

A Borel maximal cofinitary group
von: Horowitz, Haim, et al.
Veröffentlicht: (2016)