Image de couverture de livre

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Beeson, Michael
Format:	Preprint
Publié:	2021
Sujets:	Logic 03E70, 03A05
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

NF is Consistent
par: Holmes, M. Randall, et autres
Publié: (2015)

Compactness for small cardinals in mathematics: principles, consequences, and limitations
par: Honzik, Radek
Publié: (2025)

Ketonen's question and other cardinal sins
par: Rinot, Assaf, et autres
Publié: (2024)

Low level definability above large cardinals
par: Schlutzenberg, Farmer
Publié: (2024)

Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
par: Button, Tim
Publié: (2023)

Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
par: Honzik, Radek, et autres
Publié: (2023)

Directed schemes of ideals and cardinal characteristics, I: the meager additive ideal
par: Cardona, Miguel A., et autres
Publié: (2025)

More separations of cardinal characteristics of the strong measure zero ideal
par: Cardona, Miguel A., et autres
Publié: (2025)

On cardinal invariants related to Rosenthal families and large-scale topology
par: Martínez-Celis, Arturo, et autres
Publié: (2024)

The iterative conception of function and the iterative conception of set
par: Button, Tim
Publié: (2023)

The cardinal characteristics of the ideal generated by the $F_σ$ measure zero subsets of the reals
par: Cardona, Miguel A.
Publié: (2024)

Effective infinitesimals in R
par: Hrbacek, Karel, et autres
Publié: (2023)

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

Full Souslin trees at small cardinals
par: Rinot, Assaf, et autres
Publié: (2023)

Infima and cardinal characteristics of critical ideals for countable compact spaces
par: Kowalczuk, Malgorzata
Publié: (2026)

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

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

Logical reduction of relations: from relational databases to Peirce's reduction thesis
par: Koshkin, Sergiy
Publié: (2024)

Librationism & its classical and extraclassical set theories
par: Bjørdal, Frode A.
Publié: (2022)

Cardinal invariants of idealized Miller null sets
par: Cieślak, Aleksander, et autres
Publié: (2026)

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

Kurepa trees, continuous images, and perfect set properties
par: Lambie-Hanson, Chris, et autres
Publié: (2024)

Abstraction Principles and the Size of Reality
par: Yao, Bokai
Publié: (2025)

Cardinality in a paraconsistent and paracomplete set theory
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Two-cardinal derived topologies, indescribability and Ramseyness
par: Cody, Brent, et autres
Publié: (2023)

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

Cardinal invariants associated with the combinatorics of the uniformity number of the ideal of meager-additive sets
par: Cardona, Miguel A.
Publié: (2025)

Large cardinals beyond HOD
par: Aguilera, Juan Pablo, et autres
Publié: (2025)

Large cardinals, structural reflection, and the HOD Conjecture
par: Aguilera, Juan P., et autres
Publié: (2024)

Generically extendible cardinals
par: Usuba, Toshimichi
Publié: (2022)

The proof-theoretic strength of Constructive Second-order set theories
par: Jeon, Hanul
Publié: (2023)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
par: Hamkins, Joel David, et autres
Publié: (2022)

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

Measurable Regular Subgraphs
par: Bowen, Matt, et autres
Publié: (2024)

Formalizing Pfaffian in bounded arithmetic
par: Kuroda, Satoru
Publié: (2024)

There may be an $n$-entangled set but no $n+1$-entangled sets
par: Chapital, Jorge Antonio Cruz
Publié: (2025)

The Axiom of Double Complement and its opposites
par: Jeon, Hanul, et autres
Publié: (2026)

An almost strong relation
par: Garti, Shimon, et autres
Publié: (2023)

Proxy principles in combinatorial set theory
par: Brodsky, Ari Meir, et autres
Publié: (2024)