Model Theory for the Higher Order Predicate Calculus

DOI10.2307/1993168zbMath0088.01004OpenAlexW4255993225MaRDI QIDQ3260562

Steven Orey

Publication date: 1959

Full work available at URL: https://doi.org/10.2307/1993168

zbMATH Keywords

foundations of mathematics, philosophy, logic

Related Items

Essence and necessity ⋮ When are different type-logical semantic definitions defining equivalent meanings? ⋮ Unnamed Item ⋮ A relational formulation of the theory of types ⋮ The semantic view of theories and higher-order languages

Cites Work

• Unnamed Item
• On the metamathematics of algebra
• Note on a problem of L. Henkin
• On absolute properties of relations
• The completeness of the first-order functional calculus
• Completeness in the theory of types
• Some Interconnections Between Modern Algebra and Mathematical Logic