Über eine verallgemeinerung der robinsonschen modellvervollständigung I

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):37-48 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19690150107

Links

PhilArchive



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

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

Über eine verallgemeinerung der robinsonschen modellvervollständigung I.Klaus Kaiser - 1969 - Mathematical Logic Quarterly 15 (1‐3):37-48.
Über eine verallgemeinerung der robinsonschen modellvervollständigung. II. abgeschlossene algebren.Klaus Kaiser - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):123-134.
Über eine Theorie einiger Klassen von Elektrischen Schaltungen.Hans Rohleder - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):225-291.
Über eine verallgemeinerung der robinsonschen modellvervollständigung. II. abgeschlossene algebren.Klaus Kaiser - 1969 - Mathematical Logic Quarterly 15 (7‐12):123-134.
Eine filtertheoretische Formulierung der Kontinuumhypothese.Günter Bruns & Jürgen Schmidt - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):91-92.
Registermaschinen über quotiententermmengen.Michael von Deutsch - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (18):273-288.
Schröter Karl. Über den Zusammenhang der Implikationsaxiomen vollständiger Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 173–176.Schröter Karl. Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 , pp. 18–29. [REVIEW]Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (4):583-583.
Über die quantorenbasen der klassischen prädikatenlogik.Peter Schreiber - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (4-5):77-80.
Zur Mengenlehre Über Klassen.Ulf Friedrichsdorf - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):379-383.
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis.Wolfgang Friedrich - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):3-29.

Analytics

Added to PP
2016-02-04

Downloads
32 (#515,304)

6 months
1 (#1,514,069)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.
Model theoretic dynamics in Galois fashion.Daniel Max Hoffmann - 2019 - Annals of Pure and Applied Logic 170 (7):755-804.
Fondements de la logique positive.Itaï Ben Yaacov & Et Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
Model-completions and modules.P. Eklof - 1971 - Annals of Mathematical Logic 2 (3):251.
Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.

View all 6 citations / Add more citations

References found in this work

On Model-Completeness.Per Lindström - 1964 - Theoria 30 (3):183-196.
Universal Algebra.P. M. Cohn - 1969 - Journal of Symbolic Logic 34 (1):113-114.

Add more references