Inductive theories and their forcing companions

DOI10.1007/BF02764656zbMath0268.02036MaRDI QIDQ2562779

Edward Fisher, Abraham Robinson

Publication date: 1972

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Structure and representation theory of distributive lattices (06D05) Other classical first-order model theory (03C68)

Related Items

Extensions completes d'une theorie forcing complete ⋮ Abraham Robinson, 1918-1974 ⋮ Sandwiches of ages ⋮ Condition de chaîne en théorie des rélations ⋮ Model-companions and definability in existentially complete structures

Cites Work

• Introduction to model theory and to the metamathematics of algebra
• ÜBER EINE VERALLGEMEINERUNG DER ROBINSONSCHEN MODELLVERVOLLSTÄNDIGUNG I
• Completing theories by forcing
• Model-completions and modules