Remark on complete interpretations by models (Q5825666): Difference between revisions

@@ Property / author @@
+Georg Kreisel
@@ Property / author: Georg Kreisel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the concepts of completeness and interpretation of formal systems
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis
+Normal rank
@@ Property / cites work @@
+Note on arithmetic models for consistent formulae of the predicate calculus
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5825666