Autostability of prime models under strong constructivizations (Q431714): 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.1007/s10469-009-9072-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2163824467
@@ Property / OpenAlex ID: W2163824467 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3434485
@@ Property / cites work: Q3434485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable $ℵ_0$-categorical theory with a non-recursive Ryll-Nardzewski function
+Normal rank
@@ Property / cites work @@
+Complexity of Ehrenfeucht models
@@ Property / cites work: Complexity of Ehrenfeucht models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513969
@@ Property / cites work: Q4513969 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of recursive model theory
@@ Property / cites work: Foundations of recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Persistently Finite Theories with Hyperarithmetic Models
+Normal rank
@@ Property / cites work @@
+Decidability and the number of countable models
@@ Property / cites work: Decidability and the number of countable models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3690795
@@ Property / cites work: Q3690795 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonarithmetical ℵ<sub>0</sub>-categorical theories with recursive models
+Normal rank
@@ Property / cites work @@
+A decidable Ehrenfeucht theory with exactly two hyperarithmetic models
+Normal rank
@@ Property / cites work @@
+Persistently Finite, Persistently Arithmetic Theories
+Normal rank
@@ Property / cites work @@
+Theories with recursive models
@@ Property / cites work: Theories with recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5295696
@@ Property / cites work: Q5295696 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable models
@@ Property / cites work: Decidable models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5720189
@@ Property / cites work: Q5720189 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong constructivizability of homogeneous models
@@ Property / cites work: Strong constructivizability of homogeneous models / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of computable models for Ehrenfeucht theories
+Normal rank
@@ Property / cites work @@
+Q2885296
@@ Property / cites work: Q2885296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+Oб алгебрах формул счётно категоричных теорий
+Normal rank