The RNA gene information: retroelement-microRNA entangling as the RNA quantum code.

Y. Fujii

DOI: https://doi.org/10.1007/978-1-62703-083-0_4

Abstract:

What problem does this paper attempt to address?

The monadic theory of order

Saharon Shelah

DOI: https://doi.org/10.2307/1971037

2023-05-02

Abstract:We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of the real order is undecidable. Our methods are model-theoretic, and we do not use automaton theory. This is a slightly corrected version of a very old work.

Logic
Interpretations of Linear Orderings in Presburger Arithmetic

Alexander Zapryagaev

DOI: https://doi.org/10.48550/arXiv.1911.07182

2019-11-26

Abstract:Presburger Arithmetic $\mathop{\mathbf{PrA}}\nolimits$ is the true theory of natural numbers with addition. We consider linear orderings interpretable in Presburger Arithmetic and establish various necessary and sufficient conditions for interpretability depending on dimension $n$ of interpretation. We note this problem is relevant to the interpretations of Presburger Arithmetic in itself, as well as the characterization of automatic orderings. For $n=2$ we obtain the complete criterion of interpretability.

Logic
Interpretations of Presburger Arithmetic in Itself

Alexander Zapryagaev,Fedor Pakhomov

DOI: https://doi.org/10.48550/arXiv.1709.07341

2018-01-30

Abstract:Presburger arithmetic PrA is the true theory of natural numbers with addition. We study interpretations of PrA in itself. We prove that all one-dimensional self-interpretations are definably isomorphic to the identity self-interpretation. In order to prove the results we show that all linear orders that are interpretable in (N,+) are scattered orders with the finite Hausdorff rank and that the ranks are bounded in terms of the dimension of the respective interpretations. From our result about self-interpretations of PrA it follows that PrA isn't one-dimensionally interpretable in any of its finite subtheories. We note that the latter was conjectured by A. Visser.

Logic
Comparing Hume's Principle, Basic Law V and Peano Arithmetic

Sean Walsh

DOI: https://doi.org/10.1016/j.apal.2011.12.016

2014-07-02

Abstract:This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-order arithmetic. The main results of this paper are: (i) there is a consistent extension of the hyperarithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic, and (ii) the hyperarithmetic fragment of Hume's Principle does not interpret the hyperarithmetic fragment of second-order Peano arithmetic, so that in this specific sense there is no predicative version of Frege's Theorem.

Logic
Interactive Realizers and Monads

Stefano Berardi,Ugo de'Liguoro

DOI: https://doi.org/10.48550/arXiv.1005.2907

2010-05-17

Abstract:We propose a realizability interpretation of a system for quantifier free arithmetic which is equivalent to the fragment of classical arithmetic without "nested" quantifiers, called here EM1-arithmetic. We interpret classical proofs as interactive learning strategies, namely as processes going through several stages of knowledge and learning by interacting with the "environment" and with each other. We give a categorical presentation of the interpretation through the construction of two suitable monads.

Logic in Computer Science
Some consequences of interpreting the associated logic of the first-order Peano Arithmetic PA finitarily

Bhupinder Singh Anand

DOI: https://doi.org/10.48550/arXiv.1108.4598

2012-09-23

Abstract:We show that the classical interpretations of Tarski's inductive definitions actually allow us to define the satisfaction and truth of the quantified formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two essentially different ways: (a) in terms of algorithmic verifiabilty; and (b) in terms of algorithmic computability. We show that the classical Standard interpretation I_PA(N, Standard) of PA essentially defines the satisfaction and truth of the formulas of the first-order Peano Arithmetic PA in terms of algorithmic verifiability. It is accepted that this classical interpretation---in terms of algorithmic verifiabilty---cannot lay claim to be finitary; it does not lead to a finitary justification of the Axiom Schema of Finite Induction of PA from which we may conclude---in an intuitionistically unobjectionable manner---that PA is consistent. We now show that the PA-axioms---including the Axiom Schema of Finite Induction---are, however, algorithmically computable finitarily as satisfied / true under the Standard interpretation I_PA(N, Standard) of PA; and that the PA rules of inference do preserve algorithmically computable satisfiability / truth finitarily under the Standard interpretation I_PA(N, Standard). We conclude that the algorithmically computable PA-formulas can provide a finitary interpretation I_PA(N, Algorithmic) of PA from which we may classically conclude that PA is consistent in an intuitionistically unobjectionable manner. We define this interpretation, and show that if the associated logic is interpreted finitarily then (i) PA is categorical and (ii) Goedel's Theorem VI holds vacuously in PA since PA is consistent but not omega-consistent.

General Mathematics
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates

Valérie Berthé,Toghrul Karimov,Joris Nieuwveld,Joël Ouaknine,Mihir Vahanwala,James Worrell

2024-05-21

Abstract:We investigate the decidability of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N};<,P_1, \ldots,P_k \rangle$, for various unary predicates $P_1,\ldots,P_k \subseteq \mathbb{N}$. We focus in particular on "arithmetic" predicates arising in the study of linear recurrence sequences, such as fixed-base powers $\mathsf{Pow}_k = \{k^n : n \in \mathbb{N}\}$, $k$-th powers $\mathsf{N}_k = \{n^k : n \in \mathbb{N}\}$, and the set of terms of the Fibonacci sequence $\mathsf{Fib} = \{0,1,2,3,5,8,13,\ldots\}$ (and similarly for other linear recurrence sequences having a single, non-repeated, dominant characteristic root). We obtain several new unconditional and conditional decidability results, a select sample of which are the following:

Logic in Computer Science
Independence in Arithmetic: The Method of $(\mathcal L, n)$-Models

Corey Bacal Switzer

DOI: https://doi.org/10.48550/arXiv.1906.04273

2021-08-11

Abstract:I develop in depth the machinery of $(\mathcal L, n)$-models originally introduced by Shelah and, independently in a slightly different form by Kripke. This machinery allows fairly routine constructions of true but unprovable sentences in $\mathsf{PA}$. I give two applications: 1. Shelah's alternative proof of the Paris-Harrington theorem, and 2. The independence over $\mathsf{PA}$ of a new $\Pi^0_1$ Ramsey theoretic statement about colorings of finite sequences of structures.

Logic,Combinatorics
On Presburger arithmetic extended with non-unary counting quantifiers

Peter Habermehl,Dietrich Kuske

DOI: https://doi.org/10.46298/lmcs-19%283%3A4%292023

2023-07-11

Abstract:We consider a first-order logic for the integers with addition. This logic extends classical first-order logic by modulo-counting, threshold-counting and exact-counting quantifiers, all applied to tuples of variables (here, residues are given as terms while moduli and thresholds are given explicitly). Our main result shows that satisfaction for this logic is decidable in two-fold exponential space. If only threshold- and exact-counting quantifiers are allowed, we prove an upper bound of alternating two-fold exponential time with linearly many alternations. This latter result almost matches Berman's exact complexity of first-order logic without counting quantifiers. To obtain these results, we first translate threshold- and exact-counting quantifiers into classical first-order logic in polynomial time (which already proves the second result). To handle the remaining modulo-counting quantifiers for tuples, we first reduce them in doubly exponential time to modulo-counting quantifiers for single elements. For these quantifiers, we provide a quantifier elimination procedure similar to Reddy and Loveland's procedure for first-order logic and analyse the growth of coefficients, constants, and moduli appearing in this process. The bounds obtained this way allow to restrict quantification in the original formula to integers of bounded size which then implies the first result mentioned above. Our logic is incomparable with the logic considered by Chistikov et al. in 2022. They allow more general counting operations in quantifiers, but only unary quantifiers. The move from unary to non-unary quantifiers is non-trivial, since, e.g., the non-unary version of the Härtig quantifier results in an undecidable theory.

Logic in Computer Science
The Borel monadic theory of order is decidable

Sven Manthe

2024-10-02

Abstract:The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets, or even to $\sigma$-combinations of analytic sets, is decidable. The Boolean combinations of $F_\sigma$-sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof extends to larger classes of sets.

Logic
The Arithmetical Hierarchy: A Realizability-Theoretic Perspective

Takayuki Kihara

2024-10-21

Abstract:In this article, we investigate the arithmetical hierarchy from the perspective of realizability theory. An experimental observation in classical computability theory is that the notion of degrees of unsolvability for natural arithmetical decision problems only plays a role in counting the number of quantifiers, jumps, or mind-changes. In contrast, we reveal that when the realizability interpretation is combined with many-one reducibility, it becomes possible to classify natural arithmetical problems in a very nontrivial way.

Logic,Logic in Computer Science
On the first order theory of plactic monoids

Daniel Turaev

2024-05-16

Abstract:This paper proves that a plactic monoid of any finite rank will have decidable first order theory. This resolves other open decidability problems about the finite rank plactic monoids, such as the Diophantine problem and identity checking. This is achieved by interpreting a plactic monoid of arbitrary rank in Presburger arithmetic, which is known to have decidable first order theory. We also prove that the interpretation of the plactic monoids into Presburger Arithmetic is in fact a bi-interpretation, hence any two plactic monoids of finite rank are bi-interpretable with one another. The algorithm generating the interpretations is uniform, which answers positively the decidability of the Diophantine problem for the infinite rank plactic monoid.

Logic,Group Theory
A common Misconception about the Categorical Arithmetic

Giuseppe Raguní

DOI: https://doi.org/10.48550/arXiv.1602.03389

2016-01-13

Abstract:Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the second-order Logic that can be deduced by these same Theorems does not imply the standard semantic incompleteness that can be derived using the Loewenheim-Skolem or the compactness Theorem. This state of affairs has its origins in an incorrect and misinterpreted Goedel's comment at the Koenigsberg congress of 1930 and has consolidated due to different circumstances. This paper aims to clear up these questions and proposes an alternative interpretation for the Goedel's statement.

General Mathematics
PA is instantiationally complete, but algorithmically incomplete: An alternative interpretation of Goedelian incompleteness under Church's Thesis that links formal logic and computability

Bhupinder Singh Anand

DOI: https://doi.org/10.48550/arXiv.math/0507044

2005-07-04

Abstract:We define instantiational and algorithmic completeness for a formal language. We show that, in the presence of Church's Thesis, an alternative interpretation of Goedelian incompleteness is that Peano Arithmetic is instantiationally complete, but algorithmically incomplete. We then postulate a Provability Thesis that links Peano Arithmetic and effective algorithmic computability, just as Church's Thesis links Recursive Arithmetic and effective instantiational computability.

General Mathematics
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic

Vladimir Kanovei,Vassily Lyubetsky

DOI: https://doi.org/10.1007/s11225-024-10108-2

2024-04-25

Studia Logica

Abstract:The parameter-free part of , second order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an -model of , in which an example of the full Comprehension schema fails. Using Cohen's forcing, we also define an -model of , in which not every set has its complement, and hence the full fails in a rather elementary way.

mathematics,logic
Undefinability and Absolute Undefinability in Arithmetic

Roman Kossak

DOI: https://doi.org/10.48550/arXiv.2205.06022

2023-04-14

Abstract:This is a survey of results on definability and undefinability in models of arithmetic. The goal is to present a stark difference between undefinability results in the standard model and much stronger versions about expansions of nonstandard models. The key role is played by counting the number of automorphic images of subsets of countable resplendent models of Peano Arithmetic.

Logic
Indiscernibles and satisfaction classes in arithmetic

Ali Enayat

DOI: https://doi.org/10.1007/s00153-024-00915-8

2024-03-30

Archive for Mathematical Logic

Abstract:We investigate the theory Peano Arithmetic with Indiscernibles ( ). Models of are of the form , where is a model of , I is an unbounded set of order indiscernibles over , and satisfies the extended induction scheme for formulae mentioning I . Our main results are Theorems A and B following. Theorem A. Let be a nonstandard model of of any cardinality . has an expansion to a model of iff has an inductive partial satisfaction class. Theorem A yields the following corollary, which provides a new characterization of countable recursively saturated models of : Corollary. A countable model of is recursively saturated iff has an expansion to a model of . Theorem B. There is a sentence in the language obtained by adding a unary predicate I ( x ) to the language of arithmetic such that given any nonstandard model of of any cardinality , has an expansion to a model of iff has a inductive full satisfaction class.

mathematics,logic
Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic

Ka-Yue Cheng

DOI: https://doi.org/10.48550/arXiv.1604.03452

2016-04-12

Logic

Abstract:According to Chaitin, G\"odel once told him "it doesn't matter which paradox you use [to prove the First Incompleteness Theorem]". In this paper I will present a few infinitary paradoxes and show how to "translate" them to some undecidable sentences in Peano arithmetic, like what G\"odel did to the Liar paradox. The results partly verify G\"odel's claim.
The interpretability logic of all reasonable arithmetical theories

Joost J. Joosten,Albert Visser

DOI: https://doi.org/10.48550/arXiv.2004.12685

2020-04-27

Abstract:This paper from 2000 is a presentation of a status quæstionis at that tiime, to wit of the problem of the interpretability logic of {\em all}\/ reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.

Logic

The RNA gene information: retroelement-microRNA entangling as the RNA quantum code.

The monadic theory of order

Interpretations of Linear Orderings in Presburger Arithmetic

Interpretations of Presburger Arithmetic in Itself

Comparing Hume's Principle, Basic Law V and Peano Arithmetic

Interactive Realizers and Monads

Some consequences of interpreting the associated logic of the first-order Peano Arithmetic PA finitarily

On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates

Independence in Arithmetic: The Method of $(\mathcal L, n)$-Models

On Presburger arithmetic extended with non-unary counting quantifiers

The Borel monadic theory of order is decidable

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective

On the first order theory of plactic monoids

A common Misconception about the Categorical Arithmetic

PA is instantiationally complete, but algorithmically incomplete: An alternative interpretation of Goedelian incompleteness under Church's Thesis that links formal logic and computability

Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic

Undefinability and Absolute Undefinability in Arithmetic

Indiscernibles and satisfaction classes in arithmetic

Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic

The interpretability logic of all reasonable arithmetical theories