Buchumschlag

Choice and independence of premise rules in intuitionistic set theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Frittaion, Emanuele, Nemoto, Takako, Rathjen, Michael
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Extensional realizability and choice for dependent types in intuitionistic set theory
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Iterating reflection over intuitionistic arithmetic
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Peano Arithmetic, games and descent recursion
von: Frittaion, Emanuele
Veröffentlicht: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Antichain of ordinals in intuitionistic set theory
von: Wang, Shuwei
Veröffentlicht: (2025)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
von: Beeson, Michael
Veröffentlicht: (2021)

Supervaluations, truth, and intuitionistic logic
von: Dopico, Pablo
Veröffentlicht: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)

Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Bi-intuitionistic logics through the abstract algebraic logic lens
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

Higher-order Kripke models for intuitionistic and non-classical modal logics
von: Barroso-Nascimento, Victor
Veröffentlicht: (2025)

Dependent measures in independent theories
von: Khanaki, Karim
Veröffentlicht: (2021)

Tarskian truth theories over set theory
von: Enayat, Ali
Veröffentlicht: (2026)

Sub-sub-intuitionistic logic
von: Deakin, Jonte, et al.
Veröffentlicht: (2024)

Gradualist descriptionalist set theory
von: Simmons, David
Veröffentlicht: (2026)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

Esakia's theorem for the amended monadic intuitionistic calculus
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Fodor space in generalized descriptive set theory
von: Feldman, Ido, et al.
Veröffentlicht: (2026)

Feferman's completeness theorem
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2024)

The strength of the dominance rule
von: Kołodziejczyk, Leszek Aleksander, et al.
Veröffentlicht: (2024)

Implicative models of set theory
von: Maschio, Samuele, et al.
Veröffentlicht: (2023)

Non-forking independence in stable theories
von: Martin-Pizarro, Amador
Veröffentlicht: (2024)

Abstract independence relations in neostability theory
von: Miguel-Gómez, Alberto
Veröffentlicht: (2025)

Randomness via infinite computation and effective descriptive set theory
von: Carl, Merlin, et al.
Veröffentlicht: (2016)

Class choice and the surprising weakness of Kelley-Morse set theory
von: Gitman, Victoria, et al.
Veröffentlicht: (2026)

Properties of independence in $\mathrm{NSOP}_3$ theories
von: Mutchnik, Scott
Veröffentlicht: (2023)

An independence of the MIN principle from the PHP principle
von: Narusevych, Mykyta
Veröffentlicht: (2024)

Characterizing fragments of collection principle in set theory with model theoretic properties
von: Chen, Junhong
Veröffentlicht: (2025)

Global choice is not conservative over local choice for Zermelo set theory
von: Glazer, Elliot
Veröffentlicht: (2023)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
von: Melleray, Julien
Veröffentlicht: (2026)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Descriptive set theory of separable Fréchet spaces
von: Braga, Bruno de Mendonça, et al.
Veröffentlicht: (2025)

Binary Choice Games and Arithmetical Comprehension
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

A New Weak Choice Principle
von: Halbeisen, Lorenz, et al.
Veröffentlicht: (2021)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
von: Hamkins, Joel David
Veröffentlicht: (2022)