Model-theoretic properties characterizing Peano arithmetic

1991 ◽  
Vol 56 (3) ◽  
pp. 949-963 ◽  
Author(s):  
Richard Kaye
Keyword(s):  
Peano Arithmetic ◽  
Countable Model ◽  
Elementary Extension ◽  
First Order ◽  
Complete Extension ◽  
Order Language

AbstractLet = {0,1, +,·,<} be the usual first-order language of arithmetic. We show that Peano arithmetic is the least first-order -theory containing IΔ0 + exp such that every complete extension T of it has a countable model K satisfying(i) K has no proper elementary substructures, and(ii) whenever L ≻ K is a countable elementary extension there is and such that .Other model-theoretic conditions similar to (i) and (ii) are also discussed and shown to characterize Peano arithmetic.

Generalized quantifiers and elementary extensions of countable models

1977 ◽  
Vol 42 (3) ◽  
pp. 341-348 ◽  
Author(s):  
Małgorzata Dubiel
Keyword(s):  
Countable Model ◽  
Generalized Quantifiers ◽  
Natural Question ◽  
Elementary Extension ◽  
First Order ◽  
Transitive Model ◽  
Order Language ◽  
Image Position ◽  
Countable Models

Let L be a countable first-order language and L(Q) be obtained by adjoining an additional quantifier Q. Q is a generalization of the quantifier “there exists uncountably many x such that…” which was introduced by Mostowski in [4]. The logic of this latter quantifier was formalized by Keisler in [2]. Krivine and McAloon [3] considered quantifiers satisfying some but not all of Keisler's axioms. They called a formula φ(x) countable-like iffor every ψ. In Keisler's logic, φ(x) being countable-like is the same as ℳ⊨┐Qxφ(x). The main theorem of [3] states that any countable model ℳ of L[Q] has an elementary extension N, which preserves countable-like formulas but no others, such that the only sets definable in both N and M are those defined by formulas countable-like in M. Suppose C(x) in M is linearly ordered and noncountable-like but with countable-like proper segments. Then in N, C will have new elements greater than all “old” elements but no least new element — otherwise it will be definable in both models. The natural question is whether it is possible to use generalized quantifiers to extend models elementarily in such a way that a noncountable-like formula C will have a minimal new element. There are models and formulas for which it is not possible. For example let M be obtained from a minimal transitive model of ZFC by letting Qxφ(x) mean “there are arbitrarily large ordinals satisfying φ”.

Theories without countable models

1972 ◽  
Vol 37 (3) ◽  
pp. 562-568
Author(s):  
Andreas Blass
Keyword(s):  
Standard Model ◽  
Countable Model ◽  
Compactness Theorem ◽  
Complete Theory ◽  
Natural Numbers ◽  
Axiom Schema ◽  
First Order ◽  
Order Language ◽  
The Standard Model ◽  
Skolem Theorem

Consider the Löwenheim-Skolem theorem in the form: If a theory in a countable first-order language has a model, then it has a countable model. As is well known, this theorem becomes false if one omits the hypothesis that the language be countable, for one then has the following trivial counterexample.Example 1. Let the language have uncountably many constants, and let the theory say that they are unequal.To motivate some of our future definitions and to introduce some notation, we present another, less trivial, counterexample.Example 2. Let L0 be the language whose n-place predicate (resp. function) symbols are all the n-place predicates (resp. functions) on the set ω of natural numbers. Let be the standard model for L0; we use the usual notation Th() for its complete theory. Add to L0 a new constant e, and add to Th() an axiom schema saying that e is infinite. By the compactness theorem, the resulting theory T has models. However, none of its models are countable. Although this fact is well known, we sketch a proof in order to refer to it later.By [5, p. 81], there is a family {Aα ∣ < α < c} of infinite subsets of ω, the intersection of any two of which is finite.

On generalized quantifiers in arithmetic

1982 ◽  
Vol 47 (1) ◽  
pp. 187-190 ◽  
Author(s):  
Carl Morgenstern
Keyword(s):  
Axiom System ◽  
Peano Arithmetic ◽  
Order Logic ◽  
First Order Logic ◽  
Generalized Quantifiers ◽  
First Order ◽  
Order Language ◽  
Truth Definition ◽  
Order Arithmetic ◽  
Infinite Set

In this note we investigate an extension of Peano arithmetic which arises from adjoining generalized quantifiers to first-order logic. Markwald [2] first studied the definability properties of L1, the language of first-order arithmetic, L, with the additional quantifer Ux which denotes “there are infinitely many x such that…. Note that Ux is the same thing as the Keisler quantifier Qx in the ℵ0 interpretation.We consider L2, which is L together with the ℵ0 interpretation of the Magidor-Malitz quantifier Q2xy which denotes “there is an infinite set X such that for distinct x, y ∈ X …”. In [1] Magidor and Malitz presented an axiom system for languages which arise from adding Q2 to a first-order language. They proved that the axioms are valid in every regular interpretation, and, assuming ◊ω1, that the axioms are complete in the ℵ1 interpretation.If we let denote Peano arithmetic in L2 with induction for L2 formulas and the Magidor-Malitz axioms as logical axioms, we show that in we can give a truth definition for first-order Peano arithmetic, . Consequently we can prove in that is Πn sound for every n, thus in we can prove the Paris-Harrington combinatorial principle and the higher-order analogues due to Schlipf.

A note on finitely generated models

1983 ◽  
Vol 48 (1) ◽  
pp. 163-166
Author(s):  
Anand Pillay
Keyword(s):  
Countable Model ◽  
Stable Theory ◽  
Prime Model ◽  
Finitely Generated ◽  
First Order ◽  
Elementary Chain ◽  
Skolem Functions ◽  
Order Language ◽  
Finite Set

A model M (of a countable first order language) is said to be finitely generated if it is prime over a finite set, namely if there is a finite tuple ā in M such that (M, ā) is a prime model of its own theory. Similarly, if A ⊂ M, then M is said to be finitely generated overA if there is finite ā in M such that M is prime over A ⋃ ā. (Note that if Th(M) has Skolem functions, then M being prime over A is equivalent to M being generated by A in the usual sense, that is, M is the closure of A under functions of the language.) We show here that if N is ā model of an ω-stable theory, M ≺ N, M is finitely generated, and N is finitely generated over M, then N is finitely generated. A corollary is that any countable model of an ω-stable theory is the union of an elementary chain of finitely generated models. Note again that all this is trivial if the theory has Skolem functions.The result here strengthens the results in [3], where we show the same thing but assuming in addition that the theory is either nonmultidimensional or with finite αT. However the proof in [3] for the case αT finite actually shows the following which does not assume ω-stability): Let A be atomic over a finite set, tp(ā / A) have finite Cantor-Bendixson rank, and B be atomic over A ⋃ ā. Then B is atomic over a finite set.

scholarly journals A Finitely Axiomatized Non-Classical First-Order Theory Incorporating Category Theory and Axiomatic Set Theory

Axioms ◽  
2021 ◽  
Vol 10 (2) ◽  
pp. 119
Author(s):  
Marcoen J. T. F. Cabbolet
Keyword(s):  
Set Theory ◽  
Category Theory ◽  
Present Theory ◽  
Order Theory ◽  
Countable Model ◽  
First Order ◽  
First Order Theory ◽  
Order Language ◽  
Skolem Theorem ◽  
Axiomatic Set Theory

It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the Löwenheim–Skolem theorem. This paper presents the axioms one has to accept to get rid of these two features. For that matter, some twenty axioms are formulated in a non-classical first-order language with countably many constants: to this collection of axioms is associated a universe of discourse consisting of a class of objects, each of which is a set, and a class of arrows, each of which is a function. The axioms of ZF are derived from this finite axiom schema, and it is shown that it does not have a countable model—if it has a model at all, that is. Furthermore, the axioms of category theory are proven to hold: the present universe may therefore serve as an ontological basis for category theory. However, it has not been investigated whether any of the soundness and completeness properties hold for the present theory: the inevitable conclusion is therefore that only further research can establish whether the present results indeed constitute an advancement in the foundations of mathematics.

Weakly atomic-compact relational structures

1971 ◽  
Vol 36 (1) ◽  
pp. 129-140 ◽  
Author(s):  
G. Fuhrken ◽  
W. Taylor
Keyword(s):  
Abelian Group ◽  
Model Theory ◽  
Compact Abelian Group ◽  
Finite Subset ◽  
Relational Structure ◽  
Similarity Type ◽  
First Order ◽  
Relational Structures ◽  
Order Language ◽  
Weakly Atomic

A relational structure is called weakly atomic-compact if and only if every set Σ of atomic formulas (taken from the first-order language of the similarity type of augmented by a possibly uncountable set of additional variables as “unknowns”) is satisfiable in whenever every finite subset of Σ is so satisfiable. This notion (as well as some related ones which will be mentioned in §4) was introduced by J. Mycielski as a generalization to model theory of I. Kaplansky's notion of an algebraically compact Abelian group (cf. [5], [7], [1], [8]).

On external Scott algebras in nonstandard models of Peano arithmetic

1996 ◽  
Vol 61 (2) ◽  
pp. 586-607
Author(s):  
Vladimir Kanovei
Keyword(s):  
Peano Arithmetic ◽  
Sufficient Condition ◽  
Elementary Extension ◽  
Necessary And Sufficient Condition ◽  
Nonstandard Models ◽  
Necessary And Sufficient

AbstractWe prove that a necessary and sufficient condition for a countable set of sets of integers to be equal to the algebra of all sets of integers definable in a nonstandard elementary extension of ω by a formula of the PA language which may include the standardness predicate but does not contain nonstandard parameters, is as follows: is closed under arithmetical definability and contains 0(ω) the set of all (Gödel numbers of) true arithmetical sentences.Some results related to definability of sets of integers in elementary extensions of ω are included.

scholarly journals ON PRODUCTS OF ELEMENTARILY INDIVISIBLE STRUCTURES

2016 ◽  
Vol 81 (3) ◽  
pp. 951-971
Author(s):  
NADAV MEIR
Keyword(s):  
New Products ◽  
Elementary Substructure ◽  
First Order ◽  
Order Language ◽  
Image Position

AbstractWe say a structure ${\cal M}$ in a first-order language ${\cal L}$ is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure ${\cal M}\prime \subseteq {\cal M}$ such that ${\cal M}\prime \cong {\cal M}$. Additionally, we say that ${\cal M}$ is symmetrically indivisible if ${\cal M}\prime$ can be chosen to be symmetrically embedded in ${\cal M}$ (that is, every automorphism of ${\cal M}\prime$ can be extended to an automorphism of ${\cal M}$). Similarly, we say that ${\cal M}$ is elementarily indivisible if ${\cal M}\prime$ can be chosen to be an elementary substructure. We define new products of structures in a relational language. We use these products to give recipes for construction of elementarily indivisible structures which are not transitive and elementarily indivisible structures which are not symmetrically indivisible, answering two questions presented by A. Hasson, M. Kojman, and A. Onshuus.

scholarly journals Word order in Latin locative constructions: a corpus study in Caesar’s De bello gallico

2011 ◽  
Vol 64 (2) ◽  
Author(s):  
Stavros Skopeteas
Keyword(s):  
Word Order ◽  
Information Structure ◽  
Motion Verbs ◽  
Structural Domains ◽  
Corpus Study ◽  
First Order ◽  
Order Language ◽  
Free Word

AbstractClassical Latin is a free word order language, i.e., the order of the constituents is determined by information structure rather than by syntactic rules. This article presents a corpus study on the word order of locative constructions and shows that the choice between a Theme-first and a Locative-first order is influenced by the discourse status of the referents. Furthermore, the corpus findings reveal a striking impact of the syntactic construction: complements of motion verbs do not have the same ordering preferences with complements of static verbs and adjuncts. This finding supports the view that the influence of discourse status on word order is indirect, i.e., it is mediated by information structural domains.

On Axiomatizability of Non-Commutative Lp-Spaces

2007 ◽  
Vol 50 (4) ◽  
pp. 519-534
Author(s):  
C. Ward Henson ◽  
Yves Raynaud ◽  
Andrew Rizzo
Keyword(s):  
Hilbert Spaces ◽  
Normed Space ◽  
The Other ◽  
Space Structures ◽  
Operator Spaces ◽  
Infinite Dimensions ◽  
Schatten Classes ◽  
Lp Spaces ◽  
First Order ◽  
Order Language

AbstractIt is shown that Schatten p-classes of operators between Hilbert spaces of different (infinite) dimensions have ultrapowers which are (completely) isometric to non-commutative Lp-spaces. On the other hand, these Schatten classes are not themselves isomorphic to non-commutative Lp spaces. As a consequence, the class of non-commutative Lp-spaces is not axiomatizable in the first-order language developed by Henson and Iovino for normed space structures, neither in the signature of Banach spaces, nor in that of operator spaces. Other examples of the same phenomenon are presented that belong to the class of corners of non-commutative Lp-spaces. For p = 1 this last class, which is the same as the class of preduals of ternary rings of operators, is itself axiomatizable in the signature of operator spaces.

Sign in / Sign up

Export Citation Format

Share Document