Cardinality in a paraconsistent and paracomplete set theory
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)
Strong Negation is Definable in 2Int
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2025)
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2025)
Antichain of ordinals in intuitionistic set theory
di: Wang, Shuwei
Pubblicazione: (2025)
di: Wang, Shuwei
Pubblicazione: (2025)
A classical-logic view on a paraconsistent logic
di: Middelburg, C. A.
Pubblicazione: (2020)
di: Middelburg, C. A.
Pubblicazione: (2020)
Very large set axioms over constructive set theories
di: Jeon, Hanul, et al.
Pubblicazione: (2022)
di: Jeon, Hanul, et al.
Pubblicazione: (2022)
Some notes on plump ordinals
di: Wang, Shuwei
Pubblicazione: (2026)
di: Wang, Shuwei
Pubblicazione: (2026)
Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
di: Massmann, Jayde Sylvie
Pubblicazione: (2023)
di: Massmann, Jayde Sylvie
Pubblicazione: (2023)
Librationism & its classical and extraclassical set theories
di: Bjørdal, Frode A.
Pubblicazione: (2022)
di: Bjørdal, Frode A.
Pubblicazione: (2022)
Models for short sequences of measures in the cofinality-$ω$ constructible model
di: Ya'ar, Ur
Pubblicazione: (2021)
di: Ya'ar, Ur
Pubblicazione: (2021)
Broad Infinity and Generation Principles
di: Levy, Paul Blain
Pubblicazione: (2021)
di: Levy, Paul Blain
Pubblicazione: (2021)
Amorphous sets and dual Dedekind finiteness
di: Hu, Yifan, et al.
Pubblicazione: (2025)
di: Hu, Yifan, et al.
Pubblicazione: (2025)
Open Colorings and Baumgartner's Axiom
di: Notaro, Lorenzo
Pubblicazione: (2026)
di: Notaro, Lorenzo
Pubblicazione: (2026)
Combinatorial Properties Related to the Higher Baumgartner's Axiom
di: Krueger, John
Pubblicazione: (2026)
di: Krueger, John
Pubblicazione: (2026)
Building Models of Determinacy from Below
di: Kasum, Obrad, et al.
Pubblicazione: (2024)
di: Kasum, Obrad, et al.
Pubblicazione: (2024)
Strong reducibilities and set theory
di: Schweber, Noah
Pubblicazione: (2024)
di: Schweber, Noah
Pubblicazione: (2024)
The finitary partitions with $n$ non-singleton blocks of a set
di: Hu, Yifan, et al.
Pubblicazione: (2024)
di: Hu, Yifan, et al.
Pubblicazione: (2024)
On the Existence and Disjunction Properties in Structural Set Theory
di: Saving, Mark
Pubblicazione: (2023)
di: Saving, Mark
Pubblicazione: (2023)
Axiom Beta Implies Elementary Transfinite Recursion
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)
Disjoint Stationary Sequences on an Interval of Cardinals
di: Jakob, Hannes
Pubblicazione: (2023)
di: Jakob, Hannes
Pubblicazione: (2023)
Universality properties of forcing
di: Parente, Francesco, et al.
Pubblicazione: (2023)
di: Parente, Francesco, et al.
Pubblicazione: (2023)
An equiconsistency proof for $\mathrm{CZF} + V = L$
di: Wang, Shuwei
Pubblicazione: (2026)
di: Wang, Shuwei
Pubblicazione: (2026)
Derived Models in PFA
di: Levinson, Derek, et al.
Pubblicazione: (2025)
di: Levinson, Derek, et al.
Pubblicazione: (2025)
Proxy principles in combinatorial set theory
di: Brodsky, Ari Meir, et al.
Pubblicazione: (2024)
di: Brodsky, Ari Meir, et al.
Pubblicazione: (2024)
NF is Consistent
di: Holmes, M. Randall, et al.
Pubblicazione: (2015)
di: Holmes, M. Randall, et al.
Pubblicazione: (2015)
Eccentricity, extendable choice and descending distributive forcing
di: Ryan-Smith, Calliope
Pubblicazione: (2025)
di: Ryan-Smith, Calliope
Pubblicazione: (2025)
On ordering of surjective cardinals
di: Shen, Guozhen, et al.
Pubblicazione: (2025)
di: Shen, Guozhen, et al.
Pubblicazione: (2025)
A note on surjective cardinals
di: Jin, Jiaheng, et al.
Pubblicazione: (2024)
di: Jin, Jiaheng, et al.
Pubblicazione: (2024)
A note on dual Dedekind finiteness
di: Mao, Ruihuan, et al.
Pubblicazione: (2024)
di: Mao, Ruihuan, et al.
Pubblicazione: (2024)
Kripke-like models of Set Theory in Modal Residuated Logic
di: Moncayo, Jose, et al.
Pubblicazione: (2024)
di: Moncayo, Jose, et al.
Pubblicazione: (2024)
More on expressibility of satisfiability in submodels and extensions
di: Poliakov, Nikolai L., et al.
Pubblicazione: (2026)
di: Poliakov, Nikolai L., et al.
Pubblicazione: (2026)
The proof-theoretic strength of Constructive Second-order set theories
di: Jeon, Hanul
Pubblicazione: (2023)
di: Jeon, Hanul
Pubblicazione: (2023)
More on Halfway New Cardinal Characteristics
di: Farkas, Barnabás, et al.
Pubblicazione: (2023)
di: Farkas, Barnabás, et al.
Pubblicazione: (2023)
The Borel monadic theory of order is decidable
di: Manthe, Sven
Pubblicazione: (2024)
di: Manthe, Sven
Pubblicazione: (2024)
Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?
di: Karagila, Asaf, et al.
Pubblicazione: (2023)
di: Karagila, Asaf, et al.
Pubblicazione: (2023)
Local reflections of choice
di: Ryan-Smith, Calliope
Pubblicazione: (2024)
di: Ryan-Smith, Calliope
Pubblicazione: (2024)
Comment to "Almost disjoint sets, the dense set problem and the partition calculus"
di: Pereira, Júnio Luan
Pubblicazione: (2026)
di: Pereira, Júnio Luan
Pubblicazione: (2026)
Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
di: Lietz, Andreas
Pubblicazione: (2024)
di: Lietz, Andreas
Pubblicazione: (2024)
Universally Baire sets in $2^κ$
di: Ikegami, Daisuke, et al.
Pubblicazione: (2024)
di: Ikegami, Daisuke, et al.
Pubblicazione: (2024)
Towards a theory of symmetric extensions
di: Karagila, Asaf, et al.
Pubblicazione: (2026)
di: Karagila, Asaf, et al.
Pubblicazione: (2026)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
di: Ayhan, Sara
Pubblicazione: (2023)
di: Ayhan, Sara
Pubblicazione: (2023)