Some applications of Henkin quantifiers
From MaRDI portal
Publication:1233865
DOI10.1007/BF02756560zbMath0347.02007MaRDI QIDQ1233865
Publication date: 1976
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
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 (10)
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
This page was built for publication: Some applications of Henkin quantifiers