On ordered fields and definite functions

DOI10.1007/BF01343896zbMath0067.01502MaRDI QIDQ766556

Abraham Robinson

Publication date: 1955

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160463

zbMATH Keywords

rings, modules, fields

Related Items (9)

Numbers and models, standard and nonstandard ⋮ Positivstellensatz for semi-algebraic sets in real closed valued fields ⋮ Mathematical significance of consistency proofs ⋮ On Gauss's proof of Seeber's theorem ⋮ Abraham Robinson, 1918-1974 ⋮ Abraham Robinson 1918-1974 ⋮ Further remarks on ordered fields and definite functions ⋮ A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field ⋮ The Connes embedding problem: A guided tour

Cites Work

• A generalization of the concept of ω-consistency
• Unnamed Item

This page was built for publication: On ordered fields and definite functions