On the public citation graph
A note on models and submodels of arithmetic
0 signed · 50 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7020-xopenalex-snapshot
Introduction to Model Theory and to the Metamathematics of Algebra
inferredcites →https://doi.org/10.1016/s0049-237x(09)70580-4openalex-snapshot
Diophantine Equations and Non-Standard Models of Arithmetic
inferredcites →https://doi.org/10.1016/s1385-7258(54)50075-2openalex-snapshot
Contributions to the Theory of Models. II
inferredcites →https://doi.org/10.1090/s0002-9947-1952-0048374-2openalex-snapshot
Existential Definability in Arithmetic
inferredcites →https://doi.org/10.2307/1970289openalex-snapshot
The Decision Problem for Exponential Diophantine Equations
inferredcites →https://doi.org/10.2307/2268420openalex-snapshot
Alfred Tarski. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 572–588, and vol. 58 (1955), pp. 56–64; also Indagationes mathematicae, vol. 16 (1954), pp. 572–588, and vol. 17 (1955), pp. 56–64.
inferredcites →https://doi.org/10.2307/2269789openalex-snapshot
Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19760220153openalex-snapshot
Einige Bemerkungen Zur Peano‐Arithmetik
inferred← citeshttps://doi.org/10.1002/malq.19890350303openalex-snapshot
Some Extension and Rearrangement Theorems For Nerode Semirings
inferred← citeshttps://doi.org/10.1002/malq.19890350511openalex-snapshot
Parameter‐Free Universal Induction
inferred← citeshttps://doi.org/10.1002/malq.19920380106openalex-snapshot
ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
inferred← citeshttps://doi.org/10.1002/malq.202400021openalex-snapshot
On collection schemes and Gaifman's splitting theorem
inferred← citeshttps://doi.org/10.1007/978-3-642-72905-8_16openalex-snapshot
Combinatorial Statements Independent of Arithmetic
inferred← citeshttps://doi.org/10.1007/bf02341089openalex-snapshot
A comment on the joint embedding property
inferred← citeshttps://doi.org/10.1007/bf02757881openalex-snapshot
Models of Arithmetic and recursive functions
inferred← citeshttps://doi.org/10.1007/bf02766171openalex-snapshot
Embeddings of and into nerode semirings
inferred← citeshttps://doi.org/10.1007/bfb0067661openalex-snapshot
On the theories of end-extensions of models of arithmetic
inferred← citeshttps://doi.org/10.1007/bfb0090172openalex-snapshot
Cofinal extension preserves recursive saturation
inferred← citeshttps://doi.org/10.1007/bfb0090952openalex-snapshot
Recursively saturated, rather classless models of peano arithmetic
inferred← citeshttps://doi.org/10.1007/bfb0098622openalex-snapshot
Some remarks on the mathematical incompleteness of Peano’s arithmetic found by paris and harrington
inferred← citeshttps://doi.org/10.1016/0168-0072(90)90064-9openalex-snapshot
Sub-arithmetical ultrapowers: a survey
inferred← citeshttps://doi.org/10.1016/j.apal.2015.10.004openalex-snapshot
Duality, non-standard elements, and dynamic properties of r.e. sets
inferred← citeshttps://doi.org/10.1016/j.apal.2016.12.003openalex-snapshot
Unifying the model theory of first-order and second-order arithmetic via WKL0⁎
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70465-8openalex-snapshot
Substructure Lattices of Models of Peano Arithmetic
inferred← citeshttps://doi.org/10.1016/s0304-0208(08)73828-3openalex-snapshot
The Arithmetics as Theories of two Orders
inferred← citeshttps://doi.org/10.1017/jsl.2018.29openalex-snapshot
ENAYAT MODELS OF PEANO ARITHMETIC
inferred← citeshttps://doi.org/10.1090/s0002-9939-1986-0840636-xopenalex-snapshot
Some Properties of ∀∃ Models in the Isols
inferred← citeshttps://doi.org/10.1090/s0002-9947-1978-0487048-9openalex-snapshot
Completeness theorems, incompleteness theorems and models of arithmetic
inferred← citeshttps://doi.org/10.1090/s0002-9947-1989-0946223-4openalex-snapshot
Extendible Sets in Peano Arithmetic
inferred← citeshttps://doi.org/10.1109/sera.2017.7965748openalex-snapshot
A stochastic revelation on the deterministic morphological change of 3x+1
inferred← citeshttps://doi.org/10.1109/sfcs.1978.23openalex-snapshot
Model theoretic aspects of computational complexity
inferred← citeshttps://doi.org/10.1112/blms/24.5.417openalex-snapshot
A note on the Joint Embedding Property in Fragments of Arithmetic
inferred← citeshttps://doi.org/10.1305/ndjfl/1040136915openalex-snapshot
The Theory of $\kappa$-like Models of Arithmetic
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635836openalex-snapshot
On cofinal extensions of models of fragments of arithmetic.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636098openalex-snapshot
End extensions of models of arithmetic.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636946openalex-snapshot
Relatively Diophantine correct models of arithmetic.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093883398openalex-snapshot
Cofinal extensions of nonstandard models of arithmetic.
inferred← citeshttps://doi.org/10.2178/jsl/1183743742openalex-snapshot
Model-Theoretic Properties Characterizing Peano Arithmetic
inferred← citeshttps://doi.org/10.2298/pim0796099gopenalex-snapshot
A few remarks on n-infinite forcing companions
inferred← citeshttps://doi.org/10.2307/2272268openalex-snapshot
On models of arithmetic—Answers to two problems raised by H. Gaifman
inferred← citeshttps://doi.org/10.2307/2273150openalex-snapshot
On the complexity of models of arithmetic
inferred← citeshttps://doi.org/10.2307/2273548openalex-snapshot
A certain class of models of Peano arithmetic
inferred← citeshttps://doi.org/10.2307/2273620openalex-snapshot
Recursively saturated nonstandard models of arithmetic
inferred← citeshttps://doi.org/10.2307/2273913openalex-snapshot
Preservation theorem and relativization theorem for cofinal extensions
inferred← citeshttps://doi.org/10.2307/2274150openalex-snapshot
Some remarks on initial segments in models of Peano arithmetic
inferred← citeshttps://doi.org/10.2307/2274276openalex-snapshot
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
inferred← citeshttps://doi.org/10.4064/fm200-2-2openalex-snapshot
More on extending automorphisms of models of Peano Arithmetic
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.