Cover Image

On $Σ_1$-Definable Closed Unbounded Sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ben-Neria, Omer, Lücke, Philipp
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
by: Ben-Neria, Omer, et al.
Published: (2024)

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
by: Adkisson, William, et al.
Published: (2025)

Jonsson and Magidor filters
by: Ben-Neria, Omer, et al.
Published: (2025)

On large externally definable sets in NIP
by: Bays, Martin, et al.
Published: (2022)

Cofinal families of finite VC-dimension
by: Ben-Neria, Omer, et al.
Published: (2025)

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

Certified $Σ_1$-sentences
by: Kurahashi, Taishi, et al.
Published: (2023)

Aronszajn trees and maximality
by: Ben-Neria, Omer, et al.
Published: (2023)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
by: Lücke, Philipp
Published: (2024)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
by: Boney, Will
Published: (2024)

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
by: Wu, Hao, et al.
Published: (2024)

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
by: Goldberg, Gabriel, et al.
Published: (2025)

The complexity of non-stationary ideals
by: Lücke, Philipp
Published: (2024)

Functions Definable by Numerical Set-Expressions
by: Pratt-Hartmann, Ian, et al.
Published: (2009)

Huge Reflection
by: Bagaria, Joan, et al.
Published: (2021)

On some $Σ^{B}_{0}$-formulae generalizing counting principles over $V^{0}$
by: Ken, Eitetsu
Published: (2022)

Naturality and Definability III
by: Asgharzadeh, Mohsen, et al.
Published: (2023)

Information Flow Guided Synthesis with Unbounded Communication
by: Finkbeiner, Bernd, et al.
Published: (2024)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
by: Chapman, Nick Steven, et al.
Published: (2019)

Positionality in $Σ_0^2$ and a completeness result
by: Ohlmann, Pierre, et al.
Published: (2023)

Definable coordinate geometries over fields, part 1: theory
by: Madarász, Judit, et al.
Published: (2025)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

Definability in affine continuous logic
by: Bagheri, Seyed-Mohammad
Published: (2024)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
by: Hoffelner, Stefan
Published: (2025)

$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)

Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)

Dynamic Probability Logics: Axiomatization & Definability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Definable Coherent Ultrapowers and Elementary Extensions
by: Boney, Will
Published: (2016)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Definability and Scott rank in separable Metric structures
by: Bejarano, Diego
Published: (2024)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)

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

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
by: Heuer, Jan, et al.
Published: (2024)

Definability and Interpolation in Philosophy
by: van Benthem, Johan
Published: (2026)

Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
by: Brown, L. C.
Published: (2025)

Definable coordinate geometries over fields, part 2: applications
by: Madarász, Judit, et al.
Published: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
by: Bodirsky, Manuel, et al.
Published: (2022)