The index set of Boolean algebras autostable relative to strong constructivizations (Q498225): Difference between revisions

@@ Property / author @@
-Q282112
@@ Property / author: Q282112 / rank @@
-Normal rank
@@ Property / author @@
-Nikolay Bazhenov
@@ Property / author: Nikolay Bazhenov / rank @@
-Normal rank
@@ Property / author @@
-Margaret I. Marchuk
@@ Property / author: Margaret I. Marchuk / rank @@
-Normal rank
@@ Property / author @@
+Sergei S. Goncharov
@@ Property / author: Sergei S. Goncharov / rank @@
+Normal rank
@@ Property / author @@
+Nikolay Bazhenov
@@ Property / author: Nikolay Bazhenov / rank @@
+Normal rank
@@ Property / author @@
+Margaret I. Marchuk
@@ Property / author: Margaret I. Marchuk / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451633
@@ Property / cites work: Q4451633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Index Sets of Constructive Models that are Autostable Under Strong Constructivizations
+Normal rank
@@ Property / cites work @@
+Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories
+Normal rank
@@ Property / cites work @@
+Complexity of Categorical Theories with Computable Models
+Normal rank
@@ Property / cites work @@
+Pairs of recursive structures
@@ Property / cites work: Pairs of recursive structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+Q5670613
@@ Property / cites work: Q5670613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596792
@@ Property / cites work: Q5596792 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive prime models for Boolean algebras
@@ Property / cites work: Recursive prime models for Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
+Normal rank
@@ Property / cites work @@
+Boolean algebras, Tarski invariants, and index sets
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0037446615030039
+Normal rank
@@ Property / OpenAlex ID @@
+W2239099212
@@ Property / OpenAlex ID: W2239099212 / rank @@
+Normal rank