Decidability of Definability

, &
Journal of Symbolic Logic 78 (4):1036-1054 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl.7804020

Links

PhilArchive



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

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

Decidability and Definability in Second-Order Theories.Michael O. Rabin - 1975 - Journal of Symbolic Logic 40 (4):623-623.
Review: Michael O. Rabin, Decidability and Definability in Second-Order Theories. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
Some theorems on definability and decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
Church Alonzo and Quine W. V.. Some theorems on definability and decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Review: Alonzo Church, W. V. Quine, Some Theorems on Definability and Decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Rabin Michael O.. Decidability and definability in second-order theories. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 239–244. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
REVIEWS-Decidability and definability results related to the elementary theory of ordinal multiplication.A. Bes & John E. Doner - 2003 - Bulletin of Symbolic Logic 9 (1):49-50.
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic.Bogdan Stanislaw Chlebus - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (34-35):529-536.
Definability and decidability of binary predicates for time granularity.Massimo Franceschet, Angelo Montanari, Adriano Peron & Guido Sciavicco - 2006 - Journal of Applied Logic 4 (2):168-191.
Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic.Bogdan Stanislaw Chlebus - 1980 - Mathematical Logic Quarterly 26 (34‐35):529-536.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
A note on definability in fragments of arithmetic with free unary predicates.Stanislav O. Speranski - 2013 - Archive for Mathematical Logic 52 (5-6):507-516.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,030,551)

6 months
7 (#419,303)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reducts of the generic digraph.Lovkush Agarwal - 2016 - Annals of Pure and Applied Logic 167 (3):370-391.
Reducts of the Henson graphs with a constant.András Pongrácz - 2017 - Annals of Pure and Applied Logic 168 (7):1472-1489.

Add more citations

References found in this work

Book Reviews. [REVIEW]Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-149.

Add more references