Cover Image

On the Existence and Disjunction Properties in Structural Set Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Saving, Mark
Format:	Preprint
Published:	2023
Subjects:	Logic Category Theory 03F50 (Primary) 03G30, 03E70 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

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

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)

Some notes on plump ordinals
by: Wang, Shuwei
Published: (2026)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

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

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

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

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

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

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

Combinatorial Properties Related to the Higher Baumgartner's Axiom
by: Krueger, John
Published: (2026)

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

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

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

Open Colorings and Baumgartner's Axiom
by: Notaro, Lorenzo
Published: (2026)

Models for short sequences of measures in the cofinality-$ω$ constructible model
by: Ya'ar, Ur
Published: (2021)

Universality properties of forcing
by: Parente, Francesco, et al.
Published: (2023)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

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

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

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
by: Harrington, Leo A., et al.
Published: (2025)

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Double-functorial representation of regular monoidal structures
by: Siqueira, José
Published: (2025)

Extending conceptual completeness via virtual ultracategories
by: Saadia, Gabriel
Published: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

The Natural Display Topos of Coalgebras
by: Zwanziger, Colin
Published: (2024)

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