Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (34-35):529-536 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800263402

Links

PhilArchive



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

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 Results Concerning Well‐Orderings and Some Extensions of First Order Logic.Bogdan Stanislaw Chlebus - 1980 - Mathematical Logic Quarterly 26 (34‐35):529-536.
Order-isomorphic η 1 -orderings in Cohen extensions.Bob A. Dumas - 2009 - Annals of Pure and Applied Logic 158 (1-2):1-22.
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.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Algorithmic uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.
First-order definitions of rational functions and S -integers over holomorphy rings of algebraic functions of characteristic 0.Alexandra Shlapentokh - 2005 - Annals of Pure and Applied Logic 136 (3):267-283.
Decidability and Definability in Second-Order Theories.Michael O. Rabin - 1975 - Journal of Symbolic Logic 40 (4):623-623.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Arithmetical definability over finite structures.Troy Lee - 2003 - Mathematical Logic Quarterly 49 (4):385.
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Review: Michael O. Rabin, Decidability and Definability in Second-Order Theories. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
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 of cylindric set algebras of dimension two and first-order logic with two variables.Maarten Marx & Szabolcs Mikulás - 1999 - Journal of Symbolic Logic 64 (4):1563-1572.

Analytics

Added to PP
2015-12-02

Downloads
31 (#526,621)

6 months
2 (#1,236,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.

Add more references