Pages that link to "Item:Q1233865"
From MaRDI portal
The following pages link to Some applications of Henkin quantifiers (Q1233865):
Displayed 10 items.
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- IF-logic and truth-definition (Q1267079) (← links)
- Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Relative computability and uniform continuity of relations (Q2930869) (← links)
- An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus (Q3041156) (← links)
- There are reasonably nice logics (Q3981457) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)