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 quantifiersomitting types

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Other model constructions (03C30) Abstract model theory (03C95)

Related Items

The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\) ⋮ Barwise: Abstract Model Theory and Generalized Quantifiers ⋮ 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

This page was built for publication: The role of the Omitting Types Theorem in infinitary logic