Cover Image

Very large set axioms over constructive set theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jeon, Hanul, Matthews, Richard
Format:	Preprint
Published:	2022
Subjects:	Logic Primary 03E70, Secondary 03E55
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

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

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

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

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

Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)

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

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

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

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

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

Unthreadability with Small Conditions
by: Levine, Maxwell
Published: (2022)

Proxy principles in combinatorial set theory
by: Brodsky, Ari Meir, et al.
Published: (2024)

Small measurable cardinals
by: Hayut, Yair, et al.
Published: (2022)

On compactness of weak square at singulars of uncountable cofinality
by: Levine, Maxwell
Published: (2022)

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

Critical embeddings
by: Karagila, Asaf, et al.
Published: (2024)

A Topological Rainbow Ramsey Theorem
by: Jakob, Hannes, et al.
Published: (2026)

A new model for all $C$-sequences are trivial
by: Rinot, Assaf, et al.
Published: (2025)

Disjoint Stationary Sequences on an Interval of Cardinals
by: Jakob, Hannes
Published: (2023)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

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

Increasing the second uniform indiscernible by strongly ssp forcing
by: De Bondt, Ben, et al.
Published: (2022)

$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

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

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)

Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
by: Fuchino, Sakaé
Published: (2025)

Amorphous sets and dual Dedekind finiteness
by: Hu, Yifan, et al.
Published: (2025)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)

A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)

The finitary partitions with $n$ non-singleton blocks of a set
by: Hu, Yifan, et al.
Published: (2024)

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

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

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

A model for global compactness
by: Jirattikansakul, Sittinon, et al.
Published: (2024)

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