Two orderings of the class of all countable models of peano arithmetic

1980 ◽  
pp. 174-185 ◽  
Author(s):  
Petr Hájek ◽  
Pavel Pudlák
Keyword(s):  
Peano Arithmetic ◽  
Countable Models

Remarks on weak notions of saturation in models of Peano arithmetic

1987 ◽  
Vol 52 (1) ◽  
pp. 129-148 ◽  
Author(s):  
Matt Kaufmann ◽  
James H. Schmerl
Keyword(s):  
Peano Arithmetic ◽  
Saturated Model ◽  
Simple Extension ◽  
Minimal Models ◽  
Recursively Saturated ◽  
Countable Models

This paper is a sequel to our earlier paper [2] entitled Saturation and simple extensions of models of Peano arithmetic. Among other things, we will answer some of the questions that were left open there. In §1 we consider the question of whether there are lofty models of PA which have no recursively saturated, simple extensions. We are still unable to answer this question; but we do show in that section that these models are precisely the lofty models which are not recursively saturated and which are κ-like for some regular κ. In §2 we use diagonal methods to produce minimal models of PA in which the standard cut is recursively definable, and other minimal models in which the standard cut is not recursively definable. In §3 we answer two questions from [2] by exhibiting countable models of PA which, in the terminology of this paper, are uniformly ω-lofty but not continuously ω-lofty and others which are continuously ω-lofty but not recursively saturated. We also construct a model (assuming ◇) which is not recursively saturated but every proper, simple cofinal extension of which is ℵ1-saturated. Finally, in §4 we answer another question from [2] by proving that for regular κ ≥ ℵ1; every κ-saturated model of PA has a κ-saturated proper, simple extension which is not κ+-saturated.Our notation and terminology are quite standard. Anything unfamiliar to the reader and not adequately denned here is probably defined in §1 of [2]. All models considered are models of Peano arithmetic.

Two theorems on degrees of models of true arithmetic

1984 ◽  
Vol 49 (2) ◽  
pp. 425-436 ◽  
Author(s):  
Julia Knight ◽  
Alistair H. Lachlan ◽  
Robert I. Soare
Keyword(s):  
Standard Model ◽  
Binary Operation ◽  
Peano Arithmetic ◽  
Turing Degree ◽  
First Order ◽  
Nonstandard Model ◽  
Basis Theorem ◽  
The Standard Model ◽  
The Universe ◽  
Countable Models

Let PA be the theory of first order Peano arithmetic, in the language L with binary operation symbols + and ·. Let N be the theory of the standard model of PA. We consider countable models M of PA such that the universe ∣M∣ is ω. The degree of such a model M, denoted by deg(M), is the (Turing) degree of the atomic diagram of M. The results of this paper concern the degrees of models of N, but here in the Introduction, we shall give a brief survey of results about degrees of models of PA.Let D0 denote the set of degrees d such that there is a nonstandard model of M of PA with deg(M) = d. Here are some of the more easily stated results about D0.(1) There is no recursive nonstandard model of PA; i.e., 0 ∈ D0.This is a result of Tennenbaum [T].(2) There existsd ∈ D0such thatd ≤ 0′.This follows from the standard Henkin argument.(3) There existsd ∈ D0such thatd < 0′.Shoenfield [Sh1] proved this, using the Kreisel-Shoenfield basis theorem.(4) There existsd ∈ D0such thatd′ = 0′.Jockusch and Soare [JS] improved the Kreisel-Shoenfield basis theorem and obtained (4).(5) D0 = Dc = De, where Dc denotes the set of degrees of completions of PA and De the set of degrees d such that d separates a pair of effectively inseparable r.e. sets.Solovay noted (5) in a letter to Soare in which in answer to a question posed in [JS] he showed that Dc is upward closed.

Countable Models of Peano Arithmetic

2020 ◽  
pp. 73-78
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf
Keyword(s):  
Peano Arithmetic ◽  
Countable Models

The Natural Numbers

2018 ◽  
Author(s):  
Øystein Linnebo
Keyword(s):  
Natural Number ◽  
Peano Arithmetic ◽  
Number Sequence ◽  
Natural Numbers ◽  
Ordinal Numbers ◽  
Cardinal Numbers

How are the natural numbers individuated? That is, what is our most basic way of singling out a natural number for reference in language or in thought? According to Frege and many of his followers, the natural numbers are cardinal numbers, individuated by the cardinalities of the collections that they number. Another answer regards the natural numbers as ordinal numbers, individuated by their positions in the natural number sequence. Some reasons to favor the second answer are presented. This answer is therefore developed in more detail, involving a form of abstraction on numerals. Based on this answer, a justification for the axioms of Dedekind–Peano arithmetic is developed.

scholarly journals Modal Structuralism with Theoretical Terms

Erkenntnis ◽  
2021 ◽  
Author(s):  
Holger Andreas ◽  
Georg Schiemer
Keyword(s):  
Philosophy Of Mathematics ◽  
Formal Semantics ◽  
Peano Arithmetic ◽  
Theoretical Terms ◽  
Structural Interpretation ◽  
Oxford University ◽  
Structuralist Approach ◽  
Modal Semantics ◽  
Oxford University Press

AbstractIn this paper, we aim to explore connections between a Carnapian semantics of theoretical terms and an eliminative structuralist approach in the philosophy of mathematics. Specifically, we will interpret the language of Peano arithmetic by applying the modal semantics of theoretical terms introduced in Andreas (Synthese 174(3):367–383, 2010). We will thereby show that the application to Peano arithmetic yields a formal semantics of universal structuralism, i.e., the view that ordinary mathematical statements in arithmetic express general claims about all admissible interpretations of the Peano axioms. Moreover, we compare this application with the modal structuralism by Hellman (Mathematics without numbers: towards a modal-structural interpretation. Oxford University Press: Oxford, 1989), arguing that it provides us with an easier epistemology of statements in arithmetic.

scholarly journals NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE

2017 ◽  
Vol 10 (3) ◽  
pp. 455-480 ◽  
Author(s):  
BARTOSZ WCISŁO ◽  
MATEUSZ ŁEŁYK
Keyword(s):  
Reflection Principle ◽  
Peano Arithmetic ◽  
Truth Predicate ◽  
Base Theory ◽  
Modified Theory ◽  
Induction Scheme

AbstractWe prove that the theory of the extensional compositional truth predicate for the language of arithmetic with Δ0-induction scheme for the truth predicate and the full arithmetical induction scheme is not conservative over Peano Arithmetic. In addition, we show that a slightly modified theory of truth actually proves the global reflection principle over the base theory.

scholarly journals Beyond polynomials and Peano arithmetic—automation of elementary and ordinal interpretations

2015 ◽  
Vol 69 ◽  
pp. 129-158 ◽  
Author(s):  
Harald Zankl ◽  
Sarah Winkler ◽  
Aart Middeldorp
Keyword(s):  
Peano Arithmetic

scholarly journals Interpretability over peano arithmetic

1999 ◽  
Vol 64 (4) ◽  
pp. 1407-1425
Author(s):  
Claes Strannegård
Keyword(s):  
Modal Logic ◽  
Completeness Theorem ◽  
Peano Arithmetic ◽  
Embedding Theorem ◽  
Compactness Theorem ◽  
Partial Answer ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets ◽  
Interpretability Logic

AbstractWe investigate the modal logic of interpretability over Peano arithmetic. Our main result is a compactness theorem that extends the arithmetical completeness theorem for the interpretability logic ILMω. This extension concerns recursively enumerable sets of formulas of interpretability logic (rather than single formulas). As corollaries we obtain a uniform arithmetical completeness theorem for the interpretability logic ILM and a partial answer to a question of Orey from 1961. After some simplifications, we also obtain Shavrukov's embedding theorem for Magari algebras (a.k.a. diagonalizable algebras).

Automorphism groups of arithmetically saturated models

2006 ◽  
Vol 71 (1) ◽  
pp. 203-216 ◽  
Author(s):  
Ermek S. Nurkhaidarov
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Open Subgroup ◽  
Peano Arithmetic ◽  
Standard System ◽  
Permutation Groups ◽  
Saturated Model ◽  
Saturated Models ◽  
Homogeneous Set ◽  
Image Position

In this paper we study the automorphism groups of countable arithmetically saturated models of Peano Arithmetic. The automorphism groups of such structures form a rich class of permutation groups. When studying the automorphism group of a model, one is interested to what extent a model is recoverable from its automorphism group. Kossak-Schmerl [12] show that if M is a countable, arithmetically saturated model of Peano Arithmetic, then Aut(M) codes SSy(M). Using that result they prove:Let M1. M2 be countable arithmetically saturated models of Peano Arithmetic such that Aut(M1) ≅ Aut(M2). Then SSy(M1) = SSy(M2).We show that if M is a countable arithmetically saturated of Peano Arithmetic, then Aut(M) can recognize if some maximal open subgroup is a stabilizer of a nonstandard element, which is smaller than any nonstandard definable element. That fact is used to show the main theorem:Let M1, M2be countable arithmetically saturated models of Peano Arithmetic such that Aut(M1) ≅ Aut(M2). Then for every n < ωHere RT2n is Infinite Ramsey's Theorem stating that every 2-coloring of [ω]n has an infinite homogeneous set. Theorem 0.2 shows that for models of a false arithmetic the converse of Kossak-Schmerl Theorem 0.1 is not true. Using the results of Reverse Mathematics we obtain the following corollary:There exist four countable arithmetically saturated models of Peano Arithmetic such that they have the same standard system but their automorphism groups are pairwise non-isomorphic.

Friedberg Numbering in Fragments of Peano Arithmetic and α-Recursion Theory

2013 ◽  
Vol 78 (4) ◽  
pp. 1135-1163 ◽  
Author(s):  
Wei Li
Keyword(s):  
Recursion Theory ◽  
Peano Arithmetic ◽  
Fragments Of Peano Arithmetic

AbstractIn this paper, we investigate the existence of a Friedberg numbering in fragments of Peano Arithmetic and initial segments of Gödel's constructible hierarchy Lα, where α is Σ1 admissible. We prove that(1) Over P− + BΣ2, the existence of a Friedberg numbering is equivalent to IΣ2, and(2) For Lα, there is a Friedberg numbering if and only if the tame Σ2 projectum of α equals the Σ2 cofinality of α.

Sign in / Sign up

Export Citation Format

Share Document