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
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