Copertina

An $\mathrm{NSOP}_{1}$ theory without the existence axiom

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Mutchnik, Scott
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Properties of independence in $\mathrm{NSOP}_3$ theories
di: Mutchnik, Scott
Pubblicazione: (2023)

Conant-independence and generalized free amalgamation
di: Mutchnik, Scott
Pubblicazione: (2022)

A note on some example of NSOP1 theories
di: Bossut, Yvon
Pubblicazione: (2023)

Approximations of the strict order property
di: Mutchnik, Scott
Pubblicazione: (2025)

Existence in NSOP$_1$ theories
di: Kim, Byunghan, et al.
Pubblicazione: (2024)

Looking for stabilizers in NSOP$\_1$
di: Bossut, Yvon
Pubblicazione: (2025)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
di: Baldwin, John, et al.
Pubblicazione: (2024)

Geometric theories for real number algebra without sign test or dependent choice axiom
di: Lombardi, Henri, et al.
Pubblicazione: (2024)

A note on one-variable theorems for NSOP
di: Johnson, Will
Pubblicazione: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2023)

Squares, ultrafilters and forcing axioms
di: Lambie-Hanson, Chris, et al.
Pubblicazione: (2024)

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
di: Sobota, Damian, et al.
Pubblicazione: (2023)

Topological product of modal logics with the McKinsey axiom
di: Kudinov, Andrey
Pubblicazione: (2024)

Constructing crowded Hausdorff $P$-spaces in set theory without the axiom of choice
di: Tachtsis, Eleftherios, et al.
Pubblicazione: (2025)

Weak Baumgartner axioms and universal spaces
di: Switzer, Corey Bacal
Pubblicazione: (2025)

NSOP$_1$-like independence in AECats
di: Kamsma, Mark
Pubblicazione: (2021)

How the continuum hypothesis could have been a fundamental axiom
di: Hamkins, Joel David
Pubblicazione: (2024)

Adding a constant and an axiom to a doctrine
di: Guffanti, Francesca
Pubblicazione: (2023)

Choice axioms and Postnikov completeness
di: Anel, Mathieu, et al.
Pubblicazione: (2024)

The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuum
di: Asperó, David, et al.
Pubblicazione: (2022)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
di: Rybakov, M., et al.
Pubblicazione: (2025)

Fragments of Martin's axiom
di: Peng, Yinhe
Pubblicazione: (2025)

Very large set axioms over constructive set theories
di: Jeon, Hanul, et al.
Pubblicazione: (2022)

Dynamical ideals and the axiom of choice
di: Zapletal, Jindrich
Pubblicazione: (2024)

Paradoxical decompositions of free F2$F_2$‐sets and the Hahn‐Banach axiom
di: Marianne Morillon
Pubblicazione: (2024)

On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory
di: Arai, Akihiko
Pubblicazione: (2025)

Visceral theories without assumptions
di: Johnson, Will
Pubblicazione: (2024)

Echeloned saturation and forcing axioms
di: Garti, Shimon
Pubblicazione: (2024)

A logic of judgmental existence and its relation to proof irrelevance
di: Pezlar, Ivo
Pubblicazione: (2024)

Univalence without function extensionality
di: Cavallo, Evan, et al.
Pubblicazione: (2026)

On forcing axioms and weakenings of the Axiom of Choice
di: Bomfim, Diego Lima, et al.
Pubblicazione: (2024)

A modal logic translation of the AGM axioms for belief revision
di: Bonanno, Giacomo
Pubblicazione: (2025)

The *-variation of the Banach-Mazur game and forcing axioms
di: Yoshinobu, Yasuo
Pubblicazione: (2015)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
di: Kanovei, Vladimir, et al.
Pubblicazione: (2025)

On the existence property over a predicate
di: Usvyatsov, Alexander
Pubblicazione: (2025)

On $\lam$-existence over a predicate
di: Usvyatsov, Alexander
Pubblicazione: (2026)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
di: Suárez, Juan M Santiago, et al.
Pubblicazione: (2025)

Independence questions in a finite axiom-schematization of first-order logic
di: Jubin, Benoit
Pubblicazione: (2022)

Computable $K$-theory for $\mathrm{C}^*$-algebras: UHF algebras
di: Eagle, Christopher, et al.
Pubblicazione: (2025)

Normalisation for Negative Free Logics without and with Definite Descriptions
di: Kürbis, Nils
Pubblicazione: (2024)