Image de couverture de livre

Broad Infinity and Generation Principles

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Levy, Paul Blain
Format:	Preprint
Publié:	2021
Sujets:	Logic 03E30, 03E25 (Primary) 03E70, 03E55 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Very large set axioms over constructive set theories
par: Jeon, Hanul, et autres
Publié: (2022)

Hindman's Theorem in the hierarchy of Choice Principles
par: Fernández-Bretón, David J.
Publié: (2022)

Critical embeddings
par: Karagila, Asaf, et autres
Publié: (2024)

A Topological Rainbow Ramsey Theorem
par: Jakob, Hannes, et autres
Publié: (2026)

Monoidal Symmetric Models
par: Basak, Dianthe
Publié: (2024)

Small measurable cardinals
par: Hayut, Yair, et autres
Publié: (2022)

The first measurable can be the first inaccessible cardinal
par: Gitik, Moti, et autres
Publié: (2024)

On a cofinal Reinhardt embedding without Powerset
par: Jeon, Hanul
Publié: (2024)

Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025)

Some notes on plump ordinals
par: Wang, Shuwei
Publié: (2026)

Intermediate models and Kinna--Wagner Principles
par: Karagila, Asaf, et autres
Publié: (2024)

Force a set model of $Z_3$ + Harrington's Principle
par: Cheng, Yong
Publié: (2014)

$Σ_n$-correct Forcing Axioms
par: Goodman, Ben
Publié: (2024)

Increasing the second uniform indiscernible by strongly ssp forcing
par: De Bondt, Ben, et autres
Publié: (2022)

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

The $κ$-Strongly Proper Forcing Axiom
par: Asperó, David, et autres
Publié: (2019)

A new model for all $C$-sequences are trivial
par: Rinot, Assaf, et autres
Publié: (2025)

Disjoint Stationary Sequences on an Interval of Cardinals
par: Jakob, Hannes
Publié: (2023)

Iterated club shooting and the stationary-logic constructible model
par: Ya'ar, Ur
Publié: (2022)

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

Universally Baire sets in $2^κ$
par: Ikegami, Daisuke, et autres
Publié: (2024)

On compactness of weak square at singulars of uncountable cofinality
par: Levine, Maxwell
Publié: (2022)

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

Eccentricity, extendable choice and descending distributive forcing
par: Ryan-Smith, Calliope
Publié: (2025)

On ordering of surjective cardinals
par: Shen, Guozhen, et autres
Publié: (2025)

A note on surjective cardinals
par: Jin, Jiaheng, et autres
Publié: (2024)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
par: Andretta, Alessandro, et autres
Publié: (2023)

Amorphous sets and dual Dedekind finiteness
par: Hu, Yifan, et autres
Publié: (2025)

Towards a theory of symmetric extensions
par: Karagila, Asaf, et autres
Publié: (2026)

A note on dual Dedekind finiteness
par: Mao, Ruihuan, et autres
Publié: (2024)

Upwards homogeneity in iterated symmetric extensions
par: Ryan-Smith, Calliope, et autres
Publié: (2024)

A General Theory of Class Symmetric Systems
par: Holy, Peter, et autres
Publié: (2026)

Local mantles of $L[x]$
par: Schlutzenberg, Farmer
Publié: (2021)

Mice with Woodin cardinals from a Reinhardt
par: Schlutzenberg, Farmer
Publié: (2024)

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

The Axiom of Choice in the $κ$-Mantle
par: Lietz, Andreas
Publié: (2024)

On ultrafilters in ZF models and indecomposable ultrafilters
par: Bilinsky, Eilon, et autres
Publié: (2024)

A note on uniform ultrafilters in a choiceless context
par: Usuba, Toshimichi
Publié: (2024)

Unthreadability with Small Conditions
par: Levine, Maxwell
Publié: (2022)