Cover Image

The $λ$-PSP at $λ$-coanalytic sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barrera, Fernando, Dimonte, Vincenzo, Müller, Sandra
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nowhere trivial automorphisms of $P(λ)/[λ]^{<λ}$, for $λ$ inaccessible
by: Kellner, Jakob, et al.
Published: (2024)

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

The Baire and perfect set properties at singulars cardinals
by: Dimonte, Vincenzo, et al.
Published: (2024)

On the problem of generalized measures: an impossibility result
by: Agostini, Claudio, et al.
Published: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Descriptive properties of I2-embeddings
by: Dimonte, Vincenzo, et al.
Published: (2023)

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

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

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

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

Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
by: Dimonte, Vincenzo, et al.
Published: (2025)

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

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

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
by: Müller, Sandra
Published: (2024)

Towards a generic absoluteness theorem for Chang models
by: Müller, Sandra, et al.
Published: (2023)

Gödel's Program in Set Theory
by: Müller, Sandra, et al.
Published: (2024)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
by: Cerda, Rémy, et al.
Published: (2025)

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)

Outward compactness
by: Holy, Peter, et al.
Published: (2024)

The consistency strength of determinacy when all sets are universally Baire
by: Müller, Sandra
Published: (2021)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

Star operation, microscopic sets and porous sets
by: Perkowska, Daria, et al.
Published: (2025)

Free sets, thin sets and rainbows for barriers
by: Carlucci, Lorenzo, et al.
Published: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

Truncations in languages of generalized power series and the structure of $T$-$λ$-spherical completions of o-minimal fields
by: Freni, Pietro
Published: (2024)

Implicit automata in λ-calculi III: affine planar string-to-string functions
by: Pradic, Cécilia, et al.
Published: (2024)

Monotonicity and a Taylor approximation theorem for transseries
by: Mantova, Vincenzo
Published: (2026)