The forcing companions of number theories

DOI10.1007/BF02764894zbMath0301.02054MaRDI QIDQ1215625

Angus J. Macintyre, D. C. Goldrei, Harold Simmons

Publication date: 1973

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other model constructions (03C30) Connections of number theory and logic (11U99)

Related Items (8)

EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC ⋮ Independence results in computer science? ⋮ Unnamed Item ⋮ Algebraic properties of number theories ⋮ Each regular number structure is biregular ⋮ Robinson forcing is not absolute ⋮ Model-companions and definability in existentially complete structures ⋮ A comment on the joint embedding property

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On algebraically closed groups
• Existentially closed structures
• Gödel's diagonalization technique and related properties of theories
• ÜBER EINE VERALLGEMEINERUNG DER ROBINSONSCHEN MODELLVERVOLLSTÄNDIGUNG I
• Nonstandard arithmetic
• Completing theories by forcing
• An unfinitizability proof by means of restricted reduced power
• A Possible Characterization of Generic Structures.

This page was built for publication: The forcing companions of number theories