Partiality, Truth and Persistence

Tore Langholm

Partiality, Truth and Persistence is a study in the theory of partially defined models. Langholm compares in detail the various alternatives for extending the definition of truth or falsity that holds with classical, complete models to partial models. He also investigates the monotonicity of truth and other nonexpressible conditions. These discussions culminate with a combined Lindstrom and persistence characterization theorem.

TORE LANGHOLM is a research fellow in mathematics at the University of Oslo.

1/1/1988

ISBN (Paperback): 0937073342

ISBN (Cloth): 0937073350

Subject: Philosophy; Formal Languages; Model Theory