Related papers: Lofty Models of Peano Arithmetic
Simpson showed that every countable model $\mathcal{M} \models \mathsf{PA}$ has an expansion $(\mathcal{M}, X) \models \mathsf{PA}^*$ that is pointwise definable. A natural question is whether, in general, one can obtain expansions of a…
Suppose that ${\mathcal M}$ is a model of PA and ${\mathcal N}$ is a countably generated elementary end extension of ${\mathcal M}$. Let ${\mathfrak X}$ be the set of subsets of M that are coded by ${\mathcal N}$. Then ${\mathcal M}$ has a…
An artin algebra A is said to be a higher Auslander algebra provided the global dimension and the dominant dimension coincide. We say that a linear Nakayama algebra is monotone, provided its Kupisch series first increases, then decreases.…
Let $L$ be a line bundle on a scheme $X$, proper over a field. The property of $L$ being nef can sometimes be "thickened", allowing reductions to positive characteristic. We call such line bundles arithmetically nef. It is known that a line…
If an automorphism f of a structure M is such that fix(f^k) = fix(f) for all positive k, then M|fix(f) is a substructure of M. The possible isomorphism types of such M|fix(f) are characterized when M is countable and arithmetically…
Recent work has shown that large pretrained Language Models (LMs) can not only perform remarkably well on a range of Natural Language Processing (NLP) tasks but also start improving on reasoning tasks such as arithmetic induction, symbolic…
For a natural number $m$, a Lie algebra $L$ over a field $k$ is said to be of breadth type $(0, m)$ if the co-dimension of the centralizer of every non-central element is of dimension $m$. In this article, we classify finite dimensional…
By using the space of fuzzy numbers, in e.g. [5] have been considered several complete metric spaces (called here {\bf FN}-type spaces) endowed with addition and scalar multiplication, such that the metrics have nice properties but the…
We consider weighted banach spaces of holomorphic functions on the upper half plane that are determined by $ \|f\|=\sup_{y>0,-\infty<x<\infty}p(y)|f(x+iy)|<\infty $ for a very large class of weight functions p. We completely solve the…
We study the Standard-Model extensions that have the following features: they violate Lorentz invariance explicitly at high energies; they are unitary, local, polynomial and renormalizable by weighted power counting; they contain the vertex…
If A is a graded connected algebra then we define a new invariant, polydepth A, which is finite if $Ext_A^*(M,A) \neq 0$ for some A-module M of at most polynomial growth. Theorem 1: If f : X \to Y is a continuous map of finite category, and…
We classify the possible Scott complexities for models of Peano arithmetic. We construct models of particular complexities by first giving a complete Scott analysis of colored linear orderings and constructing models of Peano arithmetic…
The lattice problem for models of Peano Arithmetic ($\mathsf{PA}$) is to determine which lattices can be represented as lattices of elementary submodels of a model of $\mathsf{PA}$, or, in greater generality, for a given model…
We introduce Peano words, which are words corresponding to finite approximations of the Peano space filling curve. We then find the number of occurrences of certain patterns in these words.
We show that for every countable recursively saturated model $M$ of Peano Arithmetic and every subset $A \subseteq M$, there exists a full satisfaction class $S_A \subset M^2$ such that $A$ is definable in $(M,S_A)$ without parametres. It…
The class of minimal non-elementary Lie algebras over a field F are studied. These are classified when F is algebraically closed and of characteristic different from 2,3. The solvable algebras in this class are also characterised over any…
Peano Arithmetic is known to be provably equivalent to reflection over Elementary Arithmetic. We prove a characterization of Predicative Analysis in the guise of ATR0 in terms of stronger reflection principles.
Let $X$ be a projective manifold of dimension $n$ and $L$ a strictly nef line bundle on $X$. Then $K_X+tL$ is ample if $t > n+1$ in the following cases. 1.) $\text{dim} X = 3$ unless (possibly) $X$ is a Calabi-Yau with $c_2 \cdot L=0$; 2.)…
In previous work, a class of noninvertible topological dynamical systems $f: X \to X$ was introduced and studied; we called these {\em topologically coarse expanding conformal} systems. To such a system is naturally associated a preferred…
The present paper shows meta-programming turn programming, which is rich enough to express arbitrary arithmetic computations. We demonstrate a type system that implements Peano arithmetics, slightly generalized to negative numbers. Certain…