Relations in monadic third-order logic

Journal of Philosophical Logic 26 (6):619-628 (1997)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 86,377

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

52 (#259,227)

6 months
1 (#866,649)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Meghetologia.Massimiliano Carrara & Filippo Mancini - 2020 - Aphex. Portale Italiano di Filosofia Analitica 21 (1):1-49.
Induction and comparison.Paul Pietrowski - 2007 - University of Maryland Working Papers in Linguistics 15:154-188.

Add more citations

References found in this work

Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
Mathematics is megethology.David K. Lewis - 1993 - Philosophia Mathematica 1 (1):3-23.
Against pluralism.A. P. Hazen - 1993 - Australasian Journal of Philosophy 71 (2):132 – 144.

View all 8 references / Add more references