On the public citation graph
Applications of model theory to real algebraic geometry
0 signed · 59 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.1002/cpa.3160220202openalex-snapshot
Decision procedures for real and p‐adic fields
inferredcites →https://doi.org/10.1007/978-1-4612-2972-8_31openalex-snapshot
Elementary Structure of Real Algebraic Varieties
inferredcites →https://doi.org/10.1007/978-1-4612-9872-4openalex-snapshot
Lectures in Abstract Algebra
inferredcites →https://doi.org/10.1007/978-1-4615-7819-2openalex-snapshot
Rings of Continuous Functions
inferredcites →https://doi.org/10.1007/978-3-642-46175-0openalex-snapshot
Linear Partial Differential Operators
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1_3openalex-snapshot
A Decision Method for Elementary Algebra and Geometry
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1_5openalex-snapshot
Super-Exponential Complexity of Presburger Arithmetic
inferredcites →https://doi.org/10.1007/bf01262039openalex-snapshot
Semialgebraic topology over a real closed field II: Basic theory of semialgebraic spaces
inferredcites →https://doi.org/10.1007/bf01343235openalex-snapshot
Further remarks on ordered fields and definite functions
inferredcites →https://doi.org/10.1007/bf01343896openalex-snapshot
On ordered fields and definite functions
inferredcites →https://doi.org/10.1007/bf01428942openalex-snapshot
Real algebraic geometry and the 17th Hilbert problem
inferredcites →https://doi.org/10.1007/bf02564549openalex-snapshot
Über die Eindeutigkeit des reellen Abschlusses eines angeordneten Körpers
inferredcites →https://doi.org/10.1007/bf02566803openalex-snapshot
On the uniqueness of real closures and the existence of real places
inferredcites →https://doi.org/10.1007/bf02589551openalex-snapshot
A nullstellensatz for ordered fields
inferredcites →https://doi.org/10.1007/bf02952512openalex-snapshot
Algebraische Konstruktion reeller Körper
inferredcites →https://doi.org/10.1007/bf02952513openalex-snapshot
Über die Zerlegung definiter Funktionen in Quadrate
inferredcites →https://doi.org/10.1007/bf02952522openalex-snapshot
Eine Kennzeichnung der reell abgeschlossenen Körper
inferredcites →https://doi.org/10.1007/bfb0062251openalex-snapshot
Variantes du Nullstellensatz réel et anneaux formellement réels
inferredcites →https://doi.org/10.1007/bfb0062267openalex-snapshot
Faisceau structural sur le spectre réel et fonctions de Nash
inferredcites →https://doi.org/10.1016/0001-8708(83)90055-5openalex-snapshot
Elimination of quantifiers in algebraic structures
inferredcites →https://doi.org/10.1016/0022-4049(83)90058-0openalex-snapshot
Normal spectral spaces and their dimensions
inferredcites →https://doi.org/10.1016/0168-0072(83)90019-2openalex-snapshot
Real closed rings II. model theory
inferredcites →https://doi.org/10.1016/s0076-5392(08)62322-xopenalex-snapshot
1 Elements of Mathematical Logic
inferredcites →https://doi.org/10.1016/s0079-8169(08)x6009-xopenalex-snapshot
Foundations of Modern Analysis
inferredcites →https://doi.org/10.1017/cbo9780511721533openalex-snapshot
Partially Ordered Rings and Semi-Algebraic Geometry
inferredcites →https://doi.org/10.1090/conm/008openalex-snapshot
Ordered fields and real algebraic geometry
inferredcites →https://doi.org/10.1090/conm/008/653175openalex-snapshot
Semialgebraic topology over a real closed field
inferredcites →https://doi.org/10.1090/s0002-9939-1980-0560592-6openalex-snapshot
A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
inferredcites →https://doi.org/10.1090/s0002-9947-1969-0251026-xopenalex-snapshot
Prime ideal structure in commutative rings
inferredcites →https://doi.org/10.2140/pjm.1967.21.15openalex-snapshot
A note on David Harrison’s theory of preprimes
inferredcites →https://doi.org/10.2140/pjm.1976.63.137openalex-snapshot
Substitution in Nash functions
inferredcites →https://doi.org/10.2307/2374240openalex-snapshot
Semi-Algebraic Local-Triviality in Semi-Algebraic Mappings
inferredcites →https://doi.org/10.24033/asens.1293openalex-snapshot
Sur l'anneau des fonctions de Nash globales
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-94-007-0214-1_12openalex-snapshot
Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry
inferred← citeshttps://doi.org/10.1007/bf03322623openalex-snapshot
Computing Final Polynomials and Final Syzygies Using Buchberger’s Gröbner Bases Method
inferred← citeshttps://doi.org/10.1007/s00493-005-0043-1openalex-snapshot
New Coins From Old: Computing With Unknown Bias
inferred← citeshttps://doi.org/10.1007/s10468-021-10088-0openalex-snapshot
Real Spectrum Versus ℓ-Spectrum via Brumfiel Spectrum
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00298-0openalex-snapshot
p-Adic ideals of p-rank d and the p-adic Nullstellensatz
inferred← citeshttps://doi.org/10.1016/s0168-0072(98)00060-8openalex-snapshot
Saturation and stability in the theory of computation over the reals
inferred← citeshttps://doi.org/10.1016/s0747-7171(08)80119-8openalex-snapshot
Invariant computations for analytic projective geometry
inferred← citeshttps://doi.org/10.1016/s0747-7171(08)80121-6openalex-snapshot
Computational algebraic geometry of projective configurations
inferred← citeshttps://doi.org/10.1016/s0747-7171(88)80016-6openalex-snapshot
A bibliography of quantifier elimination for real closed fields
inferred← citeshttps://doi.org/10.1017/9781316716991.002openalex-snapshot
Introduction to the Model Theory of Fields
inferred← citeshttps://doi.org/10.1090/s0002-9947-1990-0964900-4openalex-snapshot
Semialgebraic expansions of 𝐶
inferred← citeshttps://doi.org/10.1305/ndjfl/1093637868openalex-snapshot
Generalized Hardy fields in several variables.
inferred← citeshttps://doi.org/10.48550/arxiv.math/0304143openalex-snapshot
New coins from old: computing with unknown bias
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.