On the public citation graph
Models of Arithmetic and recursive functions
0 signed · 34 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.1007/bfb0059542openalex-snapshot
A note on models and submodels of arithmetic
inferredcites →https://doi.org/10.1007/bfb0066003openalex-snapshot
Models of arithmetic and the semi-ring of recursive functions
inferredcites →https://doi.org/10.1016/s0049-237x(08)70846-2openalex-snapshot
Diophantine Representation of Recursively Enumerable Predicates
inferredcites →https://doi.org/10.1090/s0002-9947-1970-0265157-xopenalex-snapshot
Recursive functions modulo 𝐶𝑂-𝑟-maximal sets
inferredcites →https://doi.org/10.2307/2271202openalex-snapshot
A. Robinson. Model theory and non-standard arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 265–302.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/1521-3870(200204)48:3<323::aid-malq323>3.0.co;2-copenalex-snapshot
Combinatorial Isols and the Arithmetic of Dekker Semirings
inferred← citeshttps://doi.org/10.1002/malq.19890350303openalex-snapshot
Some Extension and Rearrangement Theorems For Nerode Semirings
inferred← citeshttps://doi.org/10.1002/malq.19930390146openalex-snapshot
A note on effective ultrapowers: Uniform failure of bounded collection
inferred← citeshttps://doi.org/10.1002/malq.19950410102openalex-snapshot
Existentially Complete Nerode Semirings
inferred← citeshttps://doi.org/10.1002/malq.200810052openalex-snapshot
Some observations on the substructure lattice of a Δ1 ultrapower
inferred← citeshttps://doi.org/10.1002/malq.201700009openalex-snapshot
A remark on pseudo proof systems and hard instances of the satisfiability problem
inferred← citeshttps://doi.org/10.1007/978-3-030-19071-2_21-1openalex-snapshot
Countable Nonstandard Models: Following Skolem’s Approach
inferred← citeshttps://doi.org/10.1007/978-3-031-40846-5_21openalex-snapshot
Countable Nonstandard Models: Following Skolem’s Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-08019-2_15openalex-snapshot
Isomorphisms of Non-Standard Fields and Ash’s Conjecture
inferred← citeshttps://doi.org/10.1007/978-3-319-50062-1_23openalex-snapshot
The Lattice of Computably Enumerable Vector Spaces
inferred← citeshttps://doi.org/10.1007/bf02766171openalex-snapshot
Embeddings of and into nerode semirings
inferred← citeshttps://doi.org/10.1007/bfb0080980openalex-snapshot
Finite forcing and generic filters in arithmetic
inferred← citeshttps://doi.org/10.1007/s00153-007-0038-2openalex-snapshot
Δ1 Ultrapowers are totally rigid
inferred← citeshttps://doi.org/10.1007/s00153-019-00681-yopenalex-snapshot
Polynomial time ultrapowers and the consistency of circuit lower bounds
inferred← citeshttps://doi.org/10.1007/s00153-024-00916-7openalex-snapshot
Cohesive powers of structures
inferred← citeshttps://doi.org/10.1016/0168-0072(90)90064-9openalex-snapshot
Sub-arithmetical ultrapowers: a survey
inferred← citeshttps://doi.org/10.1016/0168-0072(92)90070-gopenalex-snapshot
Eight problems about nerode semirings (recursive ultrapowers)
inferred← citeshttps://doi.org/10.1016/0168-0072(92)90074-aopenalex-snapshot
On co-simple isols and their intersection types
inferred← citeshttps://doi.org/10.1016/j.aim.2019.106884openalex-snapshot
R.e. prime powers and total rigidity
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/s0049-237x(09)70434-3openalex-snapshot
Existentially Closed Models of Basic Number Theory
inferred← citeshttps://doi.org/10.1017/jsl.2023.14openalex-snapshot
ON COHESIVE POWERS OF LINEAR ORDERS
inferred← citeshttps://doi.org/10.1017/s0960129513000856openalex-snapshot
Realizability interpretation of PA by iterated limiting PCA
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-9939-1993-1116268-9openalex-snapshot
Recursive Fibers of RST Isols
inferred← citeshttps://doi.org/10.1090/s0002-9939-1993-1155592-0openalex-snapshot
On the Minimality of Tame Models in the Isols
inferred← citeshttps://doi.org/10.2140/pjm.2002.206.9openalex-snapshot
Hereditarily Odd–Even and combinatorial isols
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.