The iterative conception of function and the iterative conception of set

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Button, Tim
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic 03A05, 03E30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Abstraction Principles and the Size of Reality
di: Yao, Bokai
Pubblicazione: (2025)

Is Peirce's reduction thesis gerrymandered?
di: Koshkin, Sergiy
Pubblicazione: (2024)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
di: Beeson, Michael
Pubblicazione: (2021)

What model companionship can say about the Continuum problem
di: Venturi, Giorgio, et al.
Pubblicazione: (2022)

A general theory of iterated forcing using finitely additive measures
di: Cardona, Miguel A., et al.
Pubblicazione: (2024)

On the limits of comparing subset sizes within $\mathbb{N}$
di: Wenmackers, Sylvia
Pubblicazione: (2024)

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

Wetzel families and the continuum
di: Schilhan, Jonathan, et al.
Pubblicazione: (2023)

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

Fine structure from normal iterability
di: Schlutzenberg, Farmer
Pubblicazione: (2020)

Cardinal invariants of idealized Miller null sets
di: Cieślak, Aleksander, et al.
Pubblicazione: (2026)

Kurepa trees, continuous images, and perfect set properties
di: Lambie-Hanson, Chris, et al.
Pubblicazione: (2024)

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

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

Upwards homogeneity in iterated symmetric extensions
di: Ryan-Smith, Calliope, et al.
Pubblicazione: (2024)

A complicated family of trees with omega + 1 levels
di: Shelah, Saharon
Pubblicazione: (2014)

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

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
di: Andrews, Uri, et al.
Pubblicazione: (2024)

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

Reduced Set Theory
di: Kunik, Matthias
Pubblicazione: (2023)

When Bi-interpretability implies Synonymy
di: Friedman, Harvey M., et al.
Pubblicazione: (2025)

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

Some reflections on the relationship between logical incompleteness and concrete incompleteness
di: Cheng, Yong
Pubblicazione: (2024)

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

Compactness for small cardinals in mathematics: principles, consequences, and limitations
di: Honzik, Radek
Pubblicazione: (2025)

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

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

An almost strong relation
di: Garti, Shimon, et al.
Pubblicazione: (2023)

Axiomatization and Forcing in Set Theory with Urelements
di: Yao, Bokai
Pubblicazione: (2022)

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

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
di: Inamdar, Tanmay, et al.
Pubblicazione: (2024)

On a cofinal Reinhardt embedding without Powerset
di: Jeon, Hanul
Pubblicazione: (2024)

Plenitudinous Urelements and the Definability of Cardinality
di: Yao, Bokai
Pubblicazione: (2025)

The Ordering Principle and Dependent Choice
di: Holy, Peter, et al.
Pubblicazione: (2025)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
di: Ikegami, Daisuke, et al.
Pubblicazione: (2025)

The Ordering Principle and Higher Dependent Choice
di: Holy, Peter, et al.
Pubblicazione: (2025)

Lebesgue measure zero modulo ideals on the natural numbers
di: Gavalová, Viera, et al.
Pubblicazione: (2022)

Tukey morphisms between finite relations
di: Barton, Rhett, et al.
Pubblicazione: (2023)

Borel Conjecture for the Marczewski ideal
di: Brendle, Joerg, et al.
Pubblicazione: (2024)