The non-definability notion and first order logic

Studia Logica 47 (4):429 - 437 (1988)
  Copy   BIBTEX

Abstract

The theorem to the effect that the languageL introduced in [2] is mutually interpretable with the first order language is proved. This yields several model-theoretical results concerningL.

Categories

Keywords

Reprint years

DOI

10.1007/bf00671571

Links

PhilArchive



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

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

Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Definability with a predicate for a semi-linear set.Michael Benedikt & H. Jerome Keisler - 2003 - Journal of Symbolic Logic 68 (1):319-351.
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
23 (#641,102)

6 months
6 (#417,196)

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

On a Formalization of the Non‐Definedness Notion.Albert Hoogewijs - 1979 - Mathematical Logic Quarterly 25 (13‐18):213-217.
On a Formalization of the Non-Definedness Notion.Albert Hoogewijs - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):213-217.
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17‐18):283-288.
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17-18):283-288.
A partial predicate calculus in a two-valued logic.Albert Hoogewijs - 1983 - Mathematical Logic Quarterly 29 (4):239-243.

View all 8 references / Add more references