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

03C60: Model-theoretic algebra

03C80: Logic with extra quantifiers and operators

03C75: Other infinitary logic

03B99: General logic

03C68: Other classical first-order model theory

Related Items

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

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