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 / Mathematics Subject Classification ID @@
+C57
@@ Property / Mathematics Subject Classification ID: 03C57 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D45
@@ Property / Mathematics Subject Classification ID: 03D45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C15
@@ Property / Mathematics Subject Classification ID: 03C15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E05
@@ Property / Mathematics Subject Classification ID: 06E05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6485694
@@ Property / zbMATH DE Number: 6485694 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computable model
@@ Property / zbMATH Keywords: computable model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+strongly constructivizable model
@@ Property / zbMATH Keywords: strongly constructivizable model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+autostability
@@ Property / zbMATH Keywords: autostability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+autostability relative to strong constructivizations
+Normal rank
@@ Property / zbMATH Keywords @@
+Boolean algebra
@@ Property / zbMATH Keywords: Boolean algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributive lattice
@@ Property / zbMATH Keywords: distributive lattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ring
@@ Property / zbMATH Keywords: ring / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+commutative semigroup
@@ Property / zbMATH Keywords: commutative semigroup / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial order
@@ Property / zbMATH Keywords: partial order / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hyperarithmetic hierarchy
@@ Property / zbMATH Keywords: hyperarithmetic hierarchy / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+index set
@@ Property / zbMATH Keywords: index set / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:498225