The role of the Omitting Types Theorem in infinitary logic

DOI10.1007/BF02011633zbMath0467.03034MaRDI QIDQ3919693

Jon Barwise

Publication date: 1981

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137975

zbMATH Keywords

generalized quantifiers; omitting types

Mathematics Subject Classification ID

03C80: Logic with extra quantifiers and operators

03C75: Other infinitary logic

03C30: Other model constructions

03C95: Abstract model theory

Related Items

Barwise: Abstract Model Theory and Generalized Quantifiers, The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\), An Ehrenfeucht-Fraïssé game for Lω1ω

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On ω-consistency and related properties
• The Interior Operator Logic and Product Topologies
• Generalized Quantifiers and Compact Logic
• Axioms for abstract model theory
• Stationary logic
• Ideal models and some not so ideal problems in the model theory of L(Q)
• Global inductive definability
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Logic with the quantifier “there exist uncountably many”
• Infinitary properties of abelian torsion groups
• Definability problems for modules and rings
• The sentential calculus with infinitely long expressions
• Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik
• Gödel Theorems for Non-Constructive Logics
• A generalization of the concept of ω-consistency