Note on a theorem of Putnam’s. (English) Zbl 0865.03023

Summary: In a 1981 book, H. Putnam [Reason, truth and history, Cambridge Univ. Press (1981)] claimed that in a pure relational language without equality, for any model of a relation that was neither empty nor full, there was another model that satisfies the same first order sentences. Ed Keenan observed that this was false for finite models since equality is a definable predicate in such cases. This note shows that Putnam’s claim is true for infinite models, although it requires a more sophisticated proof than the one outlined by Putnam.


03C52 Properties of classes of models
18B99 Special categories
Full Text: EuDML EMIS