Buchumschlag

Extensional realizability and choice for dependent types in intuitionistic set theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Frittaion, Emanuele
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

Choice and independence of premise rules in intuitionistic set theory
von: Frittaion, Emanuele, et al.
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)

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

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

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)

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

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

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)

Geometric theories for real number algebra without sign test or dependent choice axiom
von: Lombardi, Henri, et al.
Veröffentlicht: (2024)

On some subtheories of strong dependent choice
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Extensional concepts in intensional type theory, revisited
von: Kapulkin, Chris, et al.
Veröffentlicht: (2023)

Generic bidirectional typing for dependent type theories
von: Felicissimo, Thiago
Veröffentlicht: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)

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)

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

n-dependent continuous theories and hyperdefinable sets
von: Fernández, Adrián Portillo
Veröffentlicht: (2024)

Many-one reducibility with realizability
von: Kihara, Takayuki
Veröffentlicht: (2024)

Degrees of incomputability, realizability and constructive reverse mathematics
von: Kihara, Takayuki
Veröffentlicht: (2020)

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

Compositional pre-processing for automated reasoning in dependent type theory
von: Blot, Valentin, et al.
Veröffentlicht: (2022)

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

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

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)

Almost sure OTM-realizability
von: Carl, Merlin
Veröffentlicht: (2024)

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

Formalization of dependent type theory: The example of CaTT
von: Benjamin, Thibaut
Veröffentlicht: (2021)

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

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

On fresh sets in iterations of Prikry type forcing notions
von: Gitik, Moti, et al.
Veröffentlicht: (2024)

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

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)