Minimal models of theories of one function symbol (Q1214413): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On strongly minimal sets
@@ Property / cites work: On strongly minimal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538942
@@ Property / cites work: Q5538942 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q5720189
@@ Property / cites work: Q5720189 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-open minimal model
@@ Property / cites work: A type-open minimal model / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02756866
+Normal rank
@@ Property / OpenAlex ID @@
+W1986374168
@@ Property / OpenAlex ID: W1986374168 / rank @@
+Normal rank