Image de couverture de livre

A Friedman--Sheard-style Theory for Classical Realisability

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hayashi, Daichi, Leigh, Graham E.
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Tarskian Theories of Krivine's Classical Realisability
par: Hayashi, Daichi, et autres
Publié: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
par: Hayashi, Daichi
Publié: (2024)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

Axiomatic theories of supervaluational truth: completing the picture
par: Dopico, Pablo, et autres
Publié: (2024)

From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
par: Leigh, Graham E., et autres
Publié: (2023)

Basis-Sensitive Quantum Typing via Realisability
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
par: Curzi, Gianluca, et autres
Publié: (2026)

Friedman's $ \mathsf{WD} $ is not parameter-free sequential
par: Murwanashyaka, Juvenal
Publié: (2025)

Computable Scott Sentences and the Friedman-Stanley embedding
par: Gonzalez, David, et autres
Publié: (2026)

Linear Realisability and Implicative Algebras
par: Lucquin, Alexandre, et autres
Publié: (2026)

Linear Realisability over nets: multiplicatives (long version)
par: Ragot, Adrien, et autres
Publié: (2024)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

On the Impact of the Communication Model on Realisability
par: Di Giusto, Cinzia, et autres
Publié: (2025)

The Limit of Recursion in State-based Systems
par: Afshari, Bahareh, et autres
Publié: (2025)

Priestley-style duality for filter-distributive congruential logics
par: Esteban, María, et autres
Publié: (2020)

Dominating numbers at singular cardinals
par: Hayashi, Yusuke
Publié: (2025)

Reaching Classicality through Transitive Closure
par: Blomet, Quentin, et autres
Publié: (2025)

On Friedman's Property
par: Jakob, Hannes
Publié: (2024)

Parametric equations for temporal style assertions
par: Yodaiken, Victor
Publié: (2016)

Classical Explanations in (and of) General Probabilistic Theories
par: Harding, John, et autres
Publié: (2026)

Stationary list colorings
par: Hayashi, Yusuke
Publié: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

On Classical Determinate Truth
par: Castaldo, Luca, et autres
Publié: (2024)

On the learning power of Friedman-Stanley jumps
par: Cipriani, Vittorio, et autres
Publié: (2025)

Classical Logic without Bivalance
par: Gheorghiu, Alexander V.
Publié: (2025)

Birkhoff style proof systems for hybrid-dynamic quantum logic
par: Gaina, Daniel
Publié: (2024)

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
par: Džamonja, Mirna
Publié: (2025)

A Naive Encoding of Russell's Paradox in Type Theory
par: Qu, Zhuoyuan
Publié: (2025)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
par: Kevin Fathi
Publié: (2025)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
par: Sabelli, Pietro
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Primitive Recursive Dependent Type Theory
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
par: Contente, Michele, et autres
Publié: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)