Model completions and omitting types

DOI10.2307/2275856zbMath0831.03017OpenAlexW2163605189MaRDI QIDQ4842638

Terrence Millar

Publication date: 20 February 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275856

zbMATH Keywords

omitting types theoremmodel completionsyntactic characterization

Mathematics Subject Classification ID

Partial orders, general (06A06) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)

Related Items (1)

MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• A decidable Ehrenfeucht theory with exactly two hyperarithmetic models
• Forcing, arithmetic, division rings
• Strongly minimal expansions of algebraically closed fields

This page was built for publication: Model completions and omitting types