Algebraic properties of number theories

DOI10.1007/BF02757270zbMath0356.02043MaRDI QIDQ1237783

Angus J. Macintyre, Harold Simmons

Publication date: 1975

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Related Items

EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC, Independence results in computer science?, On partial disjunction properties of theories containing Peano arithmetic, Each regular number structure is biregular, A comment on the joint embedding property

Cites Work

• The forcing companions of number theories
• Syntactic characterisations of amalgamation, convexity and related properties
• An Absolutely Independent Set of ΣO‐Sentences
• Some Properties of Recursively Inseparable Sets
• A Possible Characterization of Generic Structures.
• Unnamed Item