- 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
Definability in the monadic second-order theory of successor
Journal of Symbolic Logic 34 (2):166 - 170 (1969)
Abstract
Let be a relational system whereby D is a nonempty set and P1 is an m1-ary relation on D. With we associate the (weak) monadic second-order theory consisting of the first-order predicate calculus with individual variables ranging over D; monadic predicate variables ranging over (finite) subsets of D; monadic predicate quantifiers; and constants corresponding to P1, P2, …. We will often use ambiguously to mean also the set of true sentences of.Other Versions
No versions found
Links
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- docs.lib.purdue.edu
(no proxy) - docs.lib.purdue.edu [2] (no proxy)
- projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- docs.lib.purdue.edu [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The monadic second order theory of all countable ordinals.J. Richard Büchi - 1973 - New York,: Springer. Edited by Dirk Siefkes.
Monadic second order definable relations on the binary tree.Hans Läuchli & Christian Savioz - 1987 - Journal of Symbolic Logic 52 (1):219-226.
Interpreting second-order logic in the monadic theory of order.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):816-828.
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter.Mikhail Rybakov & Dmitry Shkatov - 2018 - Studia Logica 107 (4):695-717.
On the completeness and the decidability of strictly monadic second‐order logic.Kento Takagi & Ryo Kashima - 2020 - Mathematical Logic Quarterly 66 (4):438-447.
On plural reference and elementary set theory.Helen Morris Cartwright - 1993 - Synthese 96 (2):201 - 254.
A model-theoretic characterization of monadic second order logic on infinite words.Silvio Ghilardi & Samuel J. van Gool - 2017 - Journal of Symbolic Logic 82 (1):62-76.
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.Mitio Takano - 1987 - Studia Logica 46 (3):247 - 253.
The characterization of monadic logic.Leslie H. Tharp - 1973 - Journal of Symbolic Logic 38 (3):481-488.
Finite State Automata and Monadic Definability of Singular Cardinals.Itay Neeman - 2008 - Journal of Symbolic Logic 73 (2):412 - 438.
Analytics
Added to PP
2009-01-28
Downloads
60 (#354,597)
6 months
17 (#171,266)
2009-01-28
Downloads
60 (#354,597)
6 months
17 (#171,266)
Historical graph of downloads
References found in this work
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 , pp. 295–311. [REVIEW]Robert McNaughton - 1972 - Journal of Symbolic Logic 37 (1):200-201.
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-559df78dcc-ppxv8 uwo