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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,213

External links

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

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
17 (#634,014)

6 months
1 (#415,205)

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 - 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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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.
On a Formalization of the Non‐Definedness Notion.Albert Hoogewijs - 1979 - Mathematical Logic Quarterly 25 (13‐18):213-217.
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