Cover Image

Relative consistency of Set Matrix Theory with ZF

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Cabbolet, Marcoen J. T. F.
Format:	Preprint
Published:	2024
Subjects:	Logic Logic in Computer Science 03F25 (primary), 03E65 (secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Filters on a countable vector space
by: Smythe, Iian B.
Published: (2021)

Mad families of vector subspaces and the smallest nonmeager set of reals
by: Smythe, Iian B.
Published: (2019)

On Friedman's Property
by: Jakob, Hannes
Published: (2024)

A Non-Constructive Proof of Cantor's Theorem
by: Salehi, Saeed
Published: (2025)

Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024)

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

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

On ultrafilters in ZF models and indecomposable ultrafilters
by: Bilinsky, Eilon, et al.
Published: (2024)

A generalized Cantor theorem in ZF
by: Peng, Yinhe, et al.
Published: (2021)

Wild generalised truncation of infinite matroids
by: Gollin, J. Pascal, et al.
Published: (2025)

A factorisation theory for generalised power series and omnific integers
by: L'Innocente, Sonia, et al.
Published: (2017)

The class of Aronszajn lines under epimorphisms
by: Polymeris, Lucas, et al.
Published: (2025)

Amalgamation in Semilinear Residuated Lattices
by: Fussner, Wesley, et al.
Published: (2024)

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
by: Gilson, Frank
Published: (2025)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

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

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
by: Ryan-Smith, Calliope
Published: (2023)

Plenitudinous Urelements and the Definability of Cardinality
by: Yao, Bokai
Published: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

Necessary and Sufficient Conditions for Proving Choice in Zermelo-Fraenkel Set Theory
by: Khokhlov, Valentyn
Published: (2026)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

Intersection Games and Bernstein Sets
by: Atchley, James, et al.
Published: (2023)

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

Limits of sparse hypergraphs
by: Thornton, Riley
Published: (2024)

A General Theory of Class Symmetric Systems
by: Holy, Peter, et al.
Published: (2026)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

The Patch Topology in Univalent Foundations
by: Arrieta, Igor, et al.
Published: (2024)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
by: Gregory, Lorna, et al.
Published: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
by: Gregory, Lorna, et al.
Published: (2019)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Deconstructible abstract elementary classes of modules and categoricity
by: Šaroch, Jan, et al.
Published: (2023)

Fragments of Martin's axiom
by: Peng, Yinhe
Published: (2025)

Guessing genericity -- looking at parametrized diamonds from a different perspective
by: Kostana, Ziemowit
Published: (2023)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)