Image de couverture de livre

Definability over $\mathrm BΣ^0_2$-models

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chong, Chi Tat, Wong, Tin Lok
Format:	Preprint
Publié:	2025
Sujets:	Logic 03D55 (Primary), 03C62 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The calculus of names -- The legacy of Jan Łukasiewicz
par: Pietruszczak, Andrzej
Publié: (2023)

An equiconsistency proof for $\mathrm{CZF} + V = L$
par: Wang, Shuwei
Publié: (2026)

Game semantics for the constructive $μ$-calculus
par: Pacheco, Leonardo
Publié: (2023)

Building models in small cardinals in local abstract elementary classes
par: Mazari-Armida, Marcos, et autres
Publié: (2023)

On double-membership graphs of models of Anti-Foundation
par: Adam-Day, Bea, et autres
Publié: (2019)

Clarifying ordinals
par: Schweber, Noah
Publié: (2024)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
par: Massmann, Jayde Sylvie
Publié: (2023)

On Stability and Existence of Models in Abstract Elementary Classes
par: Mazari-Armida, Marcos, et autres
Publié: (2024)

A non-computable c.e. closed subset of $[0,1]$
par: Badaev, Serikzhan, et autres
Publié: (2025)

Satisfaction classes with approximate disjunctive correctness
par: Enayat, Ali
Publié: (2023)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
par: Gerdes, Peter
Publié: (2023)

Categoricity and amalgamation for AEC and $ κ$ measurable
par: Kolman, Oren, et autres
Publié: (1996)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
par: Sun, Mengzhou
Publié: (2024)

Very large set axioms over constructive set theories
par: Jeon, Hanul, et autres
Publié: (2022)

A model for global compactness
par: Jirattikansakul, Sittinon, et autres
Publié: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
par: Harrington, Leo A., et autres
Publié: (2025)

Computability for tree presentations of continuum-size structures
par: Block, Jason, et autres
Publié: (2025)

On the theory of exponential integer parts
par: Jeřábek, Emil
Publié: (2024)

A new model for all $C$-sequences are trivial
par: Rinot, Assaf, et autres
Publié: (2025)

Iterated club shooting and the stationary-logic constructible model
par: Ya'ar, Ur
Publié: (2022)

String Dimension: VC Dimension for Infinite Shattering
par: Ryan-Smith, Calliope
Publié: (2024)

On Separating Wholeness Axioms
par: Jeon, Hanul
Publié: (2023)

Unthreadability with Small Conditions
par: Levine, Maxwell
Publié: (2022)

A Ramsey theorem for the reals
par: Inamdar, Tanmay
Publié: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
par: Prunescu, Mihai, et autres
Publié: (2025)

Universally Baire sets in $2^κ$
par: Ikegami, Daisuke, et autres
Publié: (2024)

More on expressibility of satisfiability in submodels and extensions
par: Poliakov, Nikolai L., et autres
Publié: (2026)

The adjacent Hindman's theorem for uncountable groups
par: Carlucci, Lorenzo, et autres
Publié: (2020)

Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025)

An ordinal analysis of CM and its extensions
par: Wang, Shuwei
Publié: (2025)

Proper classes of maximal $θ$-independent families from large cardinals
par: Ryan-Smith, Calliope
Publié: (2024)

Sub-sub-intuitionistic logic
par: Deakin, Jonte, et autres
Publié: (2024)

The $κ$-Strongly Proper Forcing Axiom
par: Asperó, David, et autres
Publié: (2019)

Critical embeddings
par: Karagila, Asaf, et autres
Publié: (2024)

A Topological Rainbow Ramsey Theorem
par: Jakob, Hannes, et autres
Publié: (2026)

Disjoint Stationary Sequences on an Interval of Cardinals
par: Jakob, Hannes
Publié: (2023)

Some notes on plump ordinals
par: Wang, Shuwei
Publié: (2026)

Comment to "Almost disjoint sets, the dense set problem and the partition calculus"
par: Pereira, Júnio Luan
Publié: (2026)

Monoidal Symmetric Models
par: Basak, Dianthe
Publié: (2024)

Small measurable cardinals
par: Hayut, Yair, et autres
Publié: (2022)