Definability and undefinability with real order at the background

&
Journal of Symbolic Logic 65 (2):946-958 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586579

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames.A. V. Chagrov & L. A. Chagrova - 1995 - Studia Logica 55 (3):421 - 448.
Definability and initial segments of c-degrees.Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (4):1070-1081.
On the strength of the interpretation method.Yuri Gurevich & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (2):305-323.
Definability in functional analysis.José Iovino - 1997 - Journal of Symbolic Logic 62 (2):493-505.
The fine structure of real mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.
The $n$-adic first-order undefinability of the Geach formula.R. E. Jennings, P. K. Schotch & D. K. Johnston - 1981 - Notre Dame Journal of Formal Logic 22 (4):375-378.
A second course in logic.Christopher Gauker - manuscript
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
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.

Analytics

Added to PP
2009-01-28

Downloads
105 (#161,390)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algorithmic uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.

Add more citations

References found in this work

Monadic theory of order and topology in ZFC.Yuri Gurevich & Saharon Shelah - 1982 - Annals of Mathematical Logic 23 (2-3):179-198.

Add more references