Choice and independence of premise rules in intuitionistic set theory
Fuente:
arXiv
Saved in:
| Main Authors: | Frittaion, Emanuele, Nemoto, Takako, Rathjen, Michael |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Extensional realizability and choice for dependent types in intuitionistic set theory
by: Frittaion, Emanuele
Published: (2024)
by: Frittaion, Emanuele
Published: (2024)
Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024)
by: Frittaion, Emanuele
Published: (2024)
Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024)
by: Frittaion, Emanuele
Published: (2024)
The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)
by: Becker, Justus, et al.
Published: (2026)
Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)
by: Wang, Shuwei
Published: (2025)
Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)
by: Dufty, Brendan, et al.
Published: (2025)
Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
by: Beeson, Michael
Published: (2021)
by: Beeson, Michael
Published: (2021)
Supervaluations, truth, and intuitionistic logic
by: Dopico, Pablo
Published: (2025)
by: Dopico, Pablo
Published: (2025)
Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)
by: Frittaion, Emanuele, et al.
Published: (2026)
Intuitionistic logic, dual intuitionistic logic, and modality
by: Aryal, Safal Raman
Published: (2024)
by: Aryal, Safal Raman
Published: (2024)
A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)
by: Díaz-Caro, Alejandro, et al.
Published: (2023)
Bi-intuitionistic logics through the abstract algebraic logic lens
by: Deakin, Jonte, et al.
Published: (2025)
by: Deakin, Jonte, et al.
Published: (2025)
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)
by: d'Aragona, Antonio Piccolomini
Published: (2025)
Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)
by: Santo, José Espírito, et al.
Published: (2020)
Higher-order Kripke models for intuitionistic and non-classical modal logics
by: Barroso-Nascimento, Victor
Published: (2025)
by: Barroso-Nascimento, Victor
Published: (2025)
Dependent measures in independent theories
by: Khanaki, Karim
Published: (2021)
by: Khanaki, Karim
Published: (2021)
Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)
by: Enayat, Ali
Published: (2026)
Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)
by: Deakin, Jonte, et al.
Published: (2024)
Gradualist descriptionalist set theory
by: Simmons, David
Published: (2026)
by: Simmons, David
Published: (2026)
Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)
by: Olkhovikov, Grigory K., et al.
Published: (2022)
Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)
by: Bezhanishvili, Guram, et al.
Published: (2025)
Fodor space in generalized descriptive set theory
by: Feldman, Ido, et al.
Published: (2026)
by: Feldman, Ido, et al.
Published: (2026)
Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)
by: Pakhomov, Fedor, et al.
Published: (2024)
The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)
Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)
by: Maschio, Samuele, et al.
Published: (2023)
Non-forking independence in stable theories
by: Martin-Pizarro, Amador
Published: (2024)
by: Martin-Pizarro, Amador
Published: (2024)
Abstract independence relations in neostability theory
by: Miguel-Gómez, Alberto
Published: (2025)
by: Miguel-Gómez, Alberto
Published: (2025)
Randomness via infinite computation and effective descriptive set theory
by: Carl, Merlin, et al.
Published: (2016)
by: Carl, Merlin, et al.
Published: (2016)
Class choice and the surprising weakness of Kelley-Morse set theory
by: Gitman, Victoria, et al.
Published: (2026)
by: Gitman, Victoria, et al.
Published: (2026)
Properties of independence in $\mathrm{NSOP}_3$ theories
by: Mutchnik, Scott
Published: (2023)
by: Mutchnik, Scott
Published: (2023)
An independence of the MIN principle from the PHP principle
by: Narusevych, Mykyta
Published: (2024)
by: Narusevych, Mykyta
Published: (2024)
Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)
by: Chen, Junhong
Published: (2025)
Global choice is not conservative over local choice for Zermelo set theory
by: Glazer, Elliot
Published: (2023)
by: Glazer, Elliot
Published: (2023)
Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)
by: Lichter, Moritz
Published: (2022)
Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
by: Melleray, Julien
Published: (2026)
by: Melleray, Julien
Published: (2026)
Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
Descriptive set theory of separable Fréchet spaces
by: Braga, Bruno de Mendonça, et al.
Published: (2025)
by: Braga, Bruno de Mendonça, et al.
Published: (2025)
Binary Choice Games and Arithmetical Comprehension
by: Aguilera, Juan Pablo, et al.
Published: (2025)
by: Aguilera, Juan Pablo, et al.
Published: (2025)
A New Weak Choice Principle
by: Halbeisen, Lorenz, et al.
Published: (2021)
by: Halbeisen, Lorenz, et al.
Published: (2021)
Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)
by: Hamkins, Joel David
Published: (2022)
Similar Items
-
Extensional realizability and choice for dependent types in intuitionistic set theory
by: Frittaion, Emanuele
Published: (2024) -
Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024) -
Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024) -
The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026) -
Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)