Algebraic properties of number theories

DOI10.1007/BF02757270zbMATH Open0356.02043MaRDI QIDQ1237783FDOQ1237783

Angus 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)

Cites Work

• Title not available (Why is that?)
• Syntactic characterisations of amalgamation, convexity and related properties
• Some Properties of Recursively Inseparable Sets
• The forcing companions of number theories
• An Absolutely Independent Set of ΣO‐Sentences
• A Possible Characterization of Generic Structures.

Cited In (5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1237783)