Cover Image

Choice and independence of premise rules in intuitionistic set theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Frittaion, Emanuele, Nemoto, Takako, Rathjen, Michael
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
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)

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)

Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)

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

Supervaluations, truth, and intuitionistic logic
by: Dopico, Pablo
Published: (2025)

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

Intuitionistic logic, dual intuitionistic logic, and modality
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)

Bi-intuitionistic logics through the abstract algebraic logic lens
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)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
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)

Dependent measures in independent theories
by: Khanaki, Karim
Published: (2021)

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Gradualist descriptionalist set theory
by: Simmons, David
Published: (2026)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

Fodor space in generalized descriptive set theory
by: Feldman, Ido, et al.
Published: (2026)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Non-forking independence in stable theories
by: Martin-Pizarro, Amador
Published: (2024)

Abstract independence relations in neostability theory
by: Miguel-Gómez, Alberto
Published: (2025)

Randomness via infinite computation and effective descriptive set theory
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)

Properties of independence in $\mathrm{NSOP}_3$ theories
by: Mutchnik, Scott
Published: (2023)

An independence of the MIN principle from the PHP principle
by: Narusevych, Mykyta
Published: (2024)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

Global choice is not conservative over local choice for Zermelo set theory
by: Glazer, Elliot
Published: (2023)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
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)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
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)

Binary Choice Games and Arithmetical Comprehension
by: Aguilera, Juan Pablo, et al.
Published: (2025)

A New Weak Choice Principle
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)