- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Relations in monadic third-order logic
Journal of Philosophical Logic 26 (6):619-628 (1997)
Abstract
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 assumedReprint years
2004
DOI
10.1023/a:1004247419201
My notes
Similar books and articles
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Monadic second order definable relations on the binary tree.Hans Läuchli & Christian Savioz - 1987 - Journal of Symbolic Logic 52 (1):219-226.
Peano arithmetic may not be interpretable in the monadic theory of linear orders.Shmuel Lifsches & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (3):848-872.
Rabin's uniformization problem.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (4):1105-1119.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
A conceptualist interpretation of Lesniewski's ontology.Nino B. Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.Mitio Takano - 1987 - Studia Logica 46 (3):247 - 253.
First- and second-order logic of mass terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.
Interpreting second-order logic in the monadic theory of order.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):816-828.
Analytics
Added to PP
2009-01-28
Downloads
52 (#259,227)
6 months
1 (#866,649)
2009-01-28
Downloads
52 (#259,227)
6 months
1 (#866,649)
Historical graph of downloads
Citations of this work
Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic.M. Randall Holmes - 2019 - Journal of Philosophical Logic 48 (2):263-278.
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.
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.
Set Theory and its Logic: Revised Edition.Willard Van Orman Quine - 1963 - Harvard University Press.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6b7fd944d-lrjzp N