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 Δ .
Access this article
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Similar content being viewed by others
References
H. D. Ebbinghaus,Uber eine Pradikatenlogik mit partiell difinierten Pradikaten und Funktionen,Archiv für Mathematische Logik 12 (1969), pp. 39–53.
A. Hoogewijs,On aformalization of the non-definedness notion,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25 (1979), pp. 213–217.
A. Hoogewijs,A partial predicat calculus in a two-valued logic,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 29 (1983), pp. 239–243.
A. Hoogewijs,The non-definedness notion and forcing,Analele stiintificae ale Universitatii “Al I.Cuza” din Iasi 29 (1983), pp. 5–11.
W. Markwald,Pradikatenlogik mit partiell definierten Funktionen,Archiv für Mathematische Logik 14 (1971), pp. 10–23.
W. Markwald,Pradikatenlogik mit partiell definierten Funktionen II,Archiv für Mathematische Logik 16 (1974), pp. 15–22.
H. Wang,The calculus of partial predicates and its extension to set theory I,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 7 (1961), pp. 283–288.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Krynicki, M. The non-definability notion and first order logic. Stud Logica 47, 429–437 (1988). https://doi.org/10.1007/BF00671571
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00671571