General Models and Extensionality

  title={General Models and Extensionality},
  author={Peter B. Andrews},
  journal={J. Symb. Log.},
Construction of a general model falsifying the Axiom of Extensionality shows that the general models of Henkin s article "Completeness in the Theory of Types" are not all sound interpretations of the system. A modification of the definition of general model remedies the situation. GENERAL MODELS AND EXTENSIONALITY by Peter B. Andrews § 
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 46 extracted citations

Collections, sets and types

Mathematical Structures in Computer Science • 1999
View 13 Excerpts
Highly Influenced

A Top-down Approach to Combining Logics

ICAART • 2013
View 4 Excerpts
Highly Influenced

Analytic Tableaux for Simple Type Theory and its First-Order Fragment

Logical Methods in Computer Science • 2010
View 9 Excerpts
Highly Influenced

Uniform Algebras: a Complete Semantics for the Hohh Logic of -prolog

James LiptonWesleyan Universityjlipton
View 6 Excerpts
Highly Influenced

Higher Order Modal Logic ∗

View 4 Excerpts
Highly Influenced


Publications referenced by this paper.

Completeness in the Theory of Types

J. Symb. Log. • 1950
View 10 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…