The Bernays—Schönfinkel—Ramsey class for set theory: decidability

&
Journal of Symbolic Logic 77 (3):896-918 (2012)
  Copy   BIBTEX

Abstract

As proved recently, the satisfaction problem for all prenex formulae in the set-theoretic Bernays-Shönfinkel-Ramsey class is semi-decidable over von Neumann's cumulative hierarchy. Here that semi-decidability result is strengthened into a decidability result for the same collection of formulae

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1344862166

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

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

Through your library

My notes

Similar books and articles

The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability.Eugenio Omodeo & Alberto Policriti - 2010 - Journal of Symbolic Logic 75 (2):459-480.
Decidability, partial decidability and sharpness relation for l-subsets.Giangiacomo Gerla - 1987 - Studia Logica 46 (3):227-238.
On the expressiveness of frame satisfiability and fragments of second-order logic.Thomas Eiter & Georg Gottlob - 1998 - Journal of Symbolic Logic 63 (1):73-82.
ZF + "every set is the same size as a wellfounded set".Thomas Forster - 2003 - Journal of Symbolic Logic 68 (1):1-4.
Descriptive complexity of finite structures: Saving the quantifier rank.Oleg Pikhurko & Oleg Verbitsky - 2005 - Journal of Symbolic Logic 70 (2):419-450.
Bernays and set theory.Akihiro Kanamori - 2009 - Bulletin of Symbolic Logic 15 (1):43-69.
E pluribus unum: Plural logic and set theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
What is Squiggle? Ramsey on Wittgenstein's Theory of Judgement.Peter M. Sullivan - 2005 - In Hallvard Lillehammer & D. H. Mellor (eds.), Ramsey's Legacy. Oxford University Press.
Transfer Principles in Set Theory.Harvey M. Friedman - unknown
On the Härtig-Style Axiomatization of Unprovable and Satisfiable Formulas of Bernays and Schönfinkel's Classes.Takao Inoué - 1993 - Logique Et Analyse 36 (144):261-309.
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
I The Traditional Theory of the Just War.Jeff McMahan - unknown
On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.

Analytics

Added to PP
2012-11-06

Downloads
17 (#875,159)

6 months
10 (#280,381)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references