Image de couverture de livre

Feferman Interpretability

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Joosten, Joost J., Mikec, Luka, Visser, Albert
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Feferman's completeness theorem
par: Pakhomov, Fedor, et autres
Publié: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

The Provably Total Set-Recursive Functions of KPl
par: Aguilera, Juan Pablo, et autres
Publié: (2025)

A tree rewriting system for the Reflection Calculus
par: Santiago-Fernández, Sofía, et autres
Publié: (2024)

Certified $Σ_1$-sentences
par: Kurahashi, Taishi, et autres
Publié: (2023)

Ultrafilter Extensions for Veltman Semantics
par: Gonzalez, Felix Frigola, et autres
Publié: (2026)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
par: Joosten, Joost J., et autres
Publié: (2026)

On a Question of Hamkins'
par: Visser, Albert
Publié: (2025)

Incompleteness of boundedly axiomatizable theories
par: Enayat, Ali, et autres
Publié: (2023)

Lewis and Brouwer meet Strong Löb
par: Visser, Albert, et autres
Publié: (2024)

From Numbers to Container Strings
par: Visser, Albert
Publié: (2024)

On a Theorem by Bezboruah & Shepherdson
par: Visser, Albert
Publié: (2026)

Extensional Independence
par: Kurahashi, Taishi, et autres
Publié: (2025)

Pour-El's Landscape
par: Kurahashi, Taishi, et autres
Publié: (2023)

Property Directed Reachability with Extended Resolution
par: Luka, Andrew, et autres
Publié: (2025)

When Bi-interpretability implies Synonymy
par: Friedman, Harvey M., et autres
Publié: (2025)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
par: Lichter, Moritz
Publié: (2022)

On the Contingency of Logic in Possible World Semantics
par: van der Giessen, Iris, et autres
Publié: (2025)

Completions of Restricted Complexity I, Weak Arithmetical Theories
par: Enayat, Ali, et autres
Publié: (2025)

Interpretations of ZF
par: Jockwich, Santiago, et autres
Publié: (2024)

Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
par: Brogni, Anthony, et autres
Publié: (2023)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
par: Takahashi, Yuta
Publié: (2024)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
par: Atserias, Albert, et autres
Publié: (2024)

Efficiently grounding FOL using bit vectors
par: Van Laer, Lucas, et autres
Publié: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
par: Mertens, Hannah, et autres
Publié: (2026)

Answer Set Programming for Flexible Payroll Management
par: Callewaert, Benjamin, et autres
Publié: (2024)

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

The Proof Analysis Problem
par: Arteche, Noel, et autres
Publié: (2025)

Compositional Reasoning for Parametric Probabilistic Automata
par: Mertens, Hannah, et autres
Publié: (2025)

The TPTP Format for Interpretations
par: Sutcliffe, Geoff, et autres
Publié: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
par: Ahrens, Emma, et autres
Publié: (2025)

Theory of Interpretations I. Foundations
par: Daniyarova, Evelina, et autres
Publié: (2025)

A Spectrum of Approximate Probabilistic Bisimulations
par: Spork, Timm, et autres
Publié: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
par: Spork, Timm, et autres
Publié: (2025)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
par: Mertens, Hannah, et autres
Publié: (2024)

Towards Concurrent Quantitative Separation Logic
par: Fesefeldt, Ira, et autres
Publié: (2022)

Bayesian Inference in Quantum Programs
par: Gehnen, Christina, et autres
Publié: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
par: Batz, Kevin, et autres
Publié: (2025)