Cover Image

Reduced Set Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kunik, Matthias
Format:	Preprint
Published:	2023
Subjects:	Logic 03F03, 03E30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

Axiomatization and Forcing in Set Theory with Urelements
by: Yao, Bokai
Published: (2022)

On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)

Open Problems in Computability Theory and Descriptive Set Theory
by: Barmpalias, George, et al.
Published: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

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

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

From Numbers to Container Strings
by: Visser, Albert
Published: (2024)

On Rosser theories
by: Cheng, Yong
Published: (2024)

There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)

Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)

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

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

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

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

Fragments of arithmetic and cyclic proofs
by: Beklemishev, Lev D., et al.
Published: (2025)

On a Question of Hamkins'
by: Visser, Albert
Published: (2025)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

Martin's measurable dilator
by: Jeon, Hanul
Published: (2025)

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

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Librationism & its classical and extraclassical set theories
by: Bjørdal, Frode A.
Published: (2022)

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