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 (5)

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

• Unnamed Item
• 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.

This page was built for publication: Algebraic properties of number theories