scholarly journals Multi-dimensional Interpretations of Presburger Arithmetic in Itself

2020 ◽  
Vol 30 (8) ◽  
pp. 1681-1693
Author(s):  
Fedor Pakhomov ◽  
Alexander Zapryagaev
Keyword(s):  
Modal Logic ◽  
Natural Numbers ◽  
Presburger Arithmetic ◽  
Linear Orderings ◽  
True Theory ◽  
Interpretability Logic

Abstract Presburger arithmetic is the true theory of natural numbers with addition. We study interpretations of Presburger arithmetic in itself. The main result of this paper is that all self-interpretations are definably isomorphic to the trivial one. Here we consider interpretations that might be multi-dimensional. We note that this resolves a conjecture by Visser (1998, An overview of interpretability logic. Advances in Modal Logic, pp. 307–359). In order to prove the result, we show that all linear orderings that are interpretable in $({\mathbb{N}},+)$ are scattered orderings with the finite Hausdorff rank and that the ranks are bounded in the terms of the dimensions of the respective interpretations.

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).

scholarly journals Notions of relative ubiquity for invariant sets of relational structures

1990 ◽  
Vol 55 (3) ◽  
pp. 948-986 ◽  
Author(s):  
Paul Bankston ◽  
Wim Ruitenburg
Keyword(s):  
Probability Measure ◽  
Metric Space ◽  
Measure Space ◽  
Invariant Sets ◽  
Natural Numbers ◽  
Compact Metric Space ◽  
Linear Orderings ◽  
Relational Structures ◽  
Probability Measure Space

AbstractGiven a finite lexicon L of relational symbols and equality, one may view the collection of all L-structures on the set of natural numbers ω as a space in several different ways. We consider it as: (i) the space of outcomes of certain infinite two-person games; (ii) a compact metric space; and (iii) a probability measure space. For each of these viewpoints, we can give a notion of relative ubiquity, or largeness, for invariant sets of structures on ω. For example, in every sense of relative ubiquity considered here, the set of dense linear orderings on ω is ubiquitous in the set of linear orderings on ω.

Uniformly defined descending sequences of degrees

1976 ◽  
Vol 41 (2) ◽  
pp. 363-367 ◽  
Author(s):  
Harvey Friedman
Keyword(s):  
Unique Solution ◽  
Set Theory ◽  
Limit Point ◽  
Infinite Sequence ◽  
Linear Ordering ◽  
Natural Numbers ◽  
Linear Orderings ◽  
Nonstandard Models ◽  
Related Paper ◽  
Models Of Set Theory

This paper answers some questions which naturally arise from the Spector-Gandy proof of their theorem that the π11 sets of natural numbers are precisely those which are defined by a Σ11 formula over the hyperarithmetic sets. Their proof used hierarchies on recursive linear orderings (H-sets) which are not well orderings. (In this respect they anticipated the study of nonstandard models of set theory.) The proof hinged on the following fact. Let e be a recursive linear ordering. Then e is a well ordering if and only if there is an H-set on e which is hyperarithmetic. It was implicit in their proof that there are recursive linear orderings which are not well orderings, on which there are H-sets. Further information on such nonstandard H-sets (often called pseudohierarchies) can be found in Harrison [4]. It is natural to ask: on which recursive linear orderings are there H-sets?In Friedman [1] it is shown that there exists a recursive linear ordering e that has no hyperarithmetic descending sequences such that no H-set can be placed on e. In [1] it is also shown that if e is a recursive linear ordering, every point of which has an immediate successor and either has finitely many predecessors or is finitely above a limit point (heretofore called adequate) such that an H-set can be placed on e, then e has no hyperarithmetic descending sequences. In a related paper, Friedman [2] shows that there is no infinite sequence xn of codes for ω-models of the arithmetic comprehension axiom scheme such that each xn+ 1 is a set in the ω-model coded by xn, and each xn+1 is the unique solution of P(xn, xn+1) for some fixed arithmetic P.

scholarly journals The unreasonable ubiquitousness of quasi-polynomials

2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Kevin Woods
Keyword(s):  
General Class ◽  
Linear Inequalities ◽  
Boolean Operations ◽  
Natural Numbers ◽  
Ehrhart Theory ◽  
Presburger Arithmetic ◽  
Polynomial Structure ◽  
Special Cases ◽  
International Audience

International audience A function $g$, with domain the natural numbers, is a quasi-polynomial if there exists a period $m$ and polynomials $p_0,p_1,\ldots,p_m-1$ such that $g(t)=p_i(t)$ for $t\equiv i\bmod m$. Quasi-polynomials classically – and ``reasonably'' – appear in Ehrhart theory and in other contexts where one examines a family of polyhedra, parametrized by a variable t, and defined by linear inequalities of the form $a_1x_1+⋯+a_dx_d≤ b(t)$. Recent results of Chen, Li, Sam; Calegari, Walker; and Roune, Woods show a quasi-polynomial structure in several problems where the $a_i$ are also allowed to vary with $t$. We discuss these ``unreasonable'' results and conjecture a general class of sets that exhibit various (eventual) quasi-polynomial behaviors: sets $S_t$ that are defined with quantifiers $(\forall , ∃)$, boolean operations (and, or, not), and statements of the form $a_1(t)x_1+⋯+a_d(t)x_d ≤ b(t)$, where $a_i(t)$ and $b(t)$ are polynomials in $t$. These sets are a generalization of sets defined in the Presburger arithmetic. We prove several relationships between our conjectures, and we prove several special cases of the conjectures.

scholarly journals The Unreasonable Ubiquitousness of Quasi-Polynomials

10.37236/3750 ◽  
2014 ◽  
Vol 21 (1) ◽  
Author(s):  
Kevin Woods
Keyword(s):  
General Class ◽  
Natural Sciences ◽  
Linear Inequalities ◽  
Boolean Operations ◽  
Natural Numbers ◽  
Ehrhart Theory ◽  
Presburger Arithmetic ◽  
Unreasonable Effectiveness ◽  
Polynomial Structure ◽  
Special Cases

A function $g$, with domain the natural numbers, is a quasi-polynomial if there exists a period $m$ and polynomials $p_0,p_1,\ldots,p_{m-1}$ such that $g(t)=p_i(t)$ for $t\equiv i\bmod m$. Quasi-polynomials classically - and "reasonably'' - appear in Ehrhart theory and in other contexts where one examines a family of polyhedra, parametrized by a variable $t$, and defined by linear inequalities of the form $a_1x_1+\cdots+a_dx_d\le b(t)$. Recent results of Chen, Li, Sam; Calegari, Walker; and Roune, Woods show a quasi-polynomial structure in several problems where the $a_i$ are also allowed to vary with $t$. We discuss these "unreasonable'' results and conjecture a general class of sets that exhibit various (eventual) quasi-polynomial behaviors: sets $S_t\subseteq\mathbb{N}^d$ that are defined with quantifiers ($\forall$, $\exists$), boolean operations (and, or, not), and statements of the form $a_1(t)x_1+\cdots+a_d(t)x_d \le b(t)$, where $a_i(t)$ and $b(t)$ are polynomials in $t$. These sets are a generalization of sets defined in the Presburger arithmetic. We prove several relationships between our conjectures, and we prove several special cases of the conjectures. The title is a play on Eugene Wigner's "The unreasonable effectiveness of mathematics in the natural sciences''.

scholarly journals The interpretability logic of Peano arithmetic

1990 ◽  
Vol 55 (3) ◽  
pp. 1059-1089 ◽  
Author(s):  
Alessandro Berarducci
Keyword(s):  
Modal Logic ◽  
Modal Analysis ◽  
Set Theory ◽  
Decision Procedure ◽  
Peano Arithmetic ◽  
Relevant Modal Logic ◽  
Binary Operator ◽  
Base Theory ◽  
Interpretability Logic ◽  
Work Done

AbstractPA is Peano arithmetic. The formula InterpPA(α, β) is a formalization of the assertion that the theory PA + α interprets the theory PA + β (the variables α and β are intended to range over codes of sentences of PA). We extend Solovay's modal analysis of the formalized provability predicate of PA, PrPA(x), to the case of the formalized interpretability relation InterpPA(x, y). The relevant modal logic, in addition to the usual provability operator ‘□’, has a binary operator ‘⊳’ to be interpreted as the formalized interpretability relation. We give an axiomatization and a decision procedure for the class of those modal formulas that express valid interpretability principles (for every assignment of the atomic modal formulas to sentences of PA). Our results continue to hold if we replace the base theory PA with Zermelo-Fraenkel set theory, but not with Gödel-Bernays set theory. This sensitivity to the base theory shows that the language is quite expressive. Our proof uses in an essential way earlier work done by A. Visser, D. de Jongh, and F. Veltman on this problem.

Modal Logic

1980 ◽  
Author(s):  
Brian F. Chellas
Keyword(s):  
Modal Logic
Sign in / Sign up

Export Citation Format

Share Document