Buchumschlag

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hayashi, Daichi
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

Feferman Interpretability
von: Joosten, Joost J., et al.
Veröffentlicht: (2024)

Tarskian Theories of Krivine's Classical Realisability
von: Hayashi, Daichi, et al.
Veröffentlicht: (2025)

A Friedman--Sheard-style Theory for Classical Realisability
von: Hayashi, Daichi, et al.
Veröffentlicht: (2025)

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

Axiomatic theories of supervaluational truth: completing the picture
von: Dopico, Pablo, et al.
Veröffentlicht: (2024)

Frege on the reference of sentences
von: Rodrigues, Abilio
Veröffentlicht: (2024)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
von: Kozhemiachenko, Daniil
Veröffentlicht: (2024)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
von: Suzuki, Yudai, et al.
Veröffentlicht: (2024)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
von: McCallum, Rupert
Veröffentlicht: (2026)

Friedman's $ \mathsf{WD} $ is not parameter-free sequential
von: Murwanashyaka, Juvenal
Veröffentlicht: (2025)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
von: Shamkanov, Daniyar
Veröffentlicht: (2025)

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

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
von: Shamkanov, Daniyar
Veröffentlicht: (2024)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
von: Hoffelner, Stefan
Veröffentlicht: (2024)

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
von: Hoffelner, Stefan
Veröffentlicht: (2025)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
von: Lorenz Halbeisen, et al.
Veröffentlicht: (2024)

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
von: Arroyo, Vicent Navarro
Veröffentlicht: (2026)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
von: Göller, Stefan, et al.
Veröffentlicht: (2023)

Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)
von: Manríquez, Jonathan Cancino
Veröffentlicht: (2025)

The geometrical basis of arithmetical knowledge: Frege & Dehaene
von: Sorin Costreie
Veröffentlicht: (2018)

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2025)

The Lattice Problem for Models of $\mathsf{PA}$
von: Abdul-Quader, Athar, et al.
Veröffentlicht: (2024)

Approximate equivalence relations
von: Hrushovski, Ehud
Veröffentlicht: (2024)

Dominating numbers at singular cardinals
von: Hayashi, Yusuke
Veröffentlicht: (2025)

On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
von: Chen, Lijie, et al.
Veröffentlicht: (2024)

Maintaining $\mathsf{CMSO}_2$ properties on dynamic structures with bounded feedback vertex number
von: Majewski, Konrad, et al.
Veröffentlicht: (2021)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
von: Andretta, Alessandro, et al.
Veröffentlicht: (2023)

Teasing apart definitional equivalence
von: Chen, Jason, et al.
Veröffentlicht: (2025)

Some remarks on lattices of equivalences
von: Herrmann, Christian
Veröffentlicht: (2025)

Graphings of arithmetical equivalence relations
von: Arant, Tyler
Veröffentlicht: (2025)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
von: Cheng, Yong
Veröffentlicht: (2018)

Forcing and classes of $\mathsf{HYP}$-dominating functions
von: Greenberg, Noam, et al.
Veröffentlicht: (2026)

Stationary list colorings
von: Hayashi, Yusuke
Veröffentlicht: (2025)

An order analysis of hyperfinite Borel equivalence relations
von: Gao, Su, et al.
Veröffentlicht: (2024)

A new categorial equivalence for Stone Algebras
von: Calomino, Ismael, et al.
Veröffentlicht: (2025)

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

A Borel graphable equivalence relation with no Borel graphing of diameter two
von: Lutz, Patrick
Veröffentlicht: (2026)

Formalizing equivalences without tears
von: de Jong, Tom
Veröffentlicht: (2024)

Borel graphable equivalence relations
von: Arant, Tyler, et al.
Veröffentlicht: (2024)

Primitive Recursive Dependent Type Theory
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)