Über Interpretationen der Prädikatenkalküle Höherer Stufe (Q3252698): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+On absolute properties of relations
@@ Property / cites work: On absolute properties of relations / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of a weak axiom of choice
@@ Property / cites work: The independence of a weak axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230360
@@ Property / cites work: Q3230360 / rank @@
+Normal rank