Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations (Q887638): 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-015-9331-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2295080684
@@ Property / OpenAlex ID: W2295080684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931264
@@ Property / cites work: Q3931264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3447199
@@ Property / cites work: Q3447199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5453983
@@ Property / cites work: Q5453983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3545596
@@ Property / cites work: Q3545596 / rank @@
+Normal rank
@@ Property / cites work @@
+Index sets of prime models
@@ Property / cites work: Index sets of prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive models of complete solvable theories
@@ Property / cites work: Constructive models of complete solvable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+Q5398268
@@ Property / cites work: Q5398268 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Categorical Theories with Computable Models
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly constructive models and numerations of the Boolean algebra of recursive sets
+Normal rank
@@ Property / cites work @@
+Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories
+Normal rank
@@ Property / cites work @@
+Index Sets of Constructive Models that are Autostable Under Strong Constructivizations
+Normal rank