Cover Image

On first-order arithmetic truth

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Boyce, Stephen
Format:	Preprint
Published:	2011
Subjects:	General Mathematics 03C62, 03B25, 03F40, 03F03
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tarski's Undefinability Theorem and first-order arithmetic
by: Boyce, Stephen
Published: (2010)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

From Numbers to Container Strings
by: Visser, Albert
Published: (2024)

On Rosser theories
by: Cheng, Yong
Published: (2024)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)

On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)

Fractal Origin of the Continuum: A Hypothesis on Process-Relative Definability
by: Semenov, Stanislav
Published: (2025)

On the Nature of Fractal Numbers and the Classical Continuum Hypothesis (CH)
by: Semenov, Stanislav
Published: (2025)

Wave Arithmetic: A Smooth Integral Representation of Number Theory
by: Semenov, Stanislav
Published: (2025)

Axiomatic Foundations of Fractal Analysis and Fractal Number Theory
by: Semenov, Stanislav
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

More conservativity for weak Kőnig's lemma
by: Freund, Anton, et al.
Published: (2024)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)