Finiteness is not a \(\Sigma_0\)-property (Q1217707): Difference between revisions

@@ Property / author @@
-Haim Gaifman
@@ Property / author: Haim Gaifman / rank @@
-Normal rank
@@ Property / author @@
+Haim Gaifman
@@ Property / author: Haim Gaifman / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3289861
@@ Property / cites work: Q3289861 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of formulas in set theory
@@ Property / cites work: A hierarchy of formulas in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal models of theories of one function symbol
@@ Property / cites work: Minimal models of theories of one function symbol / rank @@
+Normal rank
@@ Property / cites work @@
+Every two elementarily equivalent models have isomorphic ultrapowers
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02757499
+Normal rank
@@ Property / OpenAlex ID @@
+W2070363892
@@ Property / OpenAlex ID: W2070363892 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1217707