Some applications of Henkin quantifiers

DOI10.1007/BF02756560zbMath0347.02007MaRDI QIDQ1233865

Jon Barwise

Publication date: 1976

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) General logic (03B99) Other classical first-order model theory (03C68)

Related Items

Dependence logic with generalized quantifiers: axiomatizations ⋮ There are reasonably nice logics ⋮ Relative computability and uniform continuity of relations ⋮ Axiomatizing first-order consequences in dependence logic ⋮ Axiomatizing first-order consequences in independence logic ⋮ An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus ⋮ Barwise: Abstract Model Theory and Generalized Quantifiers ⋮ IF-logic and truth-definition ⋮ Extraction and verification of programs by analysis of formal proofs ⋮ New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An introduction to recursively saturated and resplendent models
• An axiomatization for a class of two-cardinal models
• First order properties of pairs of cardinals
• Some applications of infinitely long formulas
• How not to Characterize the Multiplicative Groups of Fields
• A Set of Independent Axioms for a Field and a Condition for a Group to be the Multiplicative Group of a Field
• Finite partially-ordered quantification
• On axiomatizability within a system