An elementary definability theorem for first order logic (Q4934027): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2586617
@@ Property / full work available at URL: https://doi.org/10.2307/2586617 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2087316813
@@ Property / OpenAlex ID: W2087316813 / rank @@
+Normal rank
@@ Property / cites work @@
+All topoi are localic or why permutation models prevail
+Normal rank
@@ Property / cites work @@
+Representing topoi by topological groupoids
@@ Property / cites work: Representing topoi by topological groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying toposes for first-order theories
@@ Property / cites work: Classifying toposes for first-order theories / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Sheaf Semantics
@@ Property / cites work: Constructive Sheaf Semantics / rank @@
+Normal rank