You are not currently logged in.
Access JSTOR through your library or other institution:
Relations in Monadic Third-Order Logic
A. P. Hazen
Journal of Philosophical Logic
Vol. 26, No. 6 (Dec., 1997), pp. 619-628
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226631
Page Count: 10
You can always find the topics here!Topics: Mathematical relations, Quantification, Logical postulates, Genera, Axioms, Extensionality, Type theory, Mathematical logic, Family structure, Axiom of choice
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
The representation of quantification over relations in monadic third-order logic is discussed; it is shown to be possible in numerous special cases of foundational interest, but not in general unless something akin to the Axiom of Choice is assumed.
Journal of Philosophical Logic © 1997 Springer