2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms (Q5741344): Difference between revisions

Latest revision as of 08:41, 12 July 2024

scientific article; zbMATH DE number 6605603

Language	Label	Description	Also known as
English	2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms	scientific article; zbMATH DE number 6605603

Statements

instance of

scholarly article

0 references

title

2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms (English)

0 references

published in

Journal of Mathematical Sciences

0 references

publication date

22 July 2016

0 references

zbMATH Keywords

Boolean algebra with distinguished automorphism

0 references

degree of categoricity

0 references

author

Nikolay Bazhenov

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s10958-015-2629-5

0 references

cites work

Effective procedures in field theory

0 references

Enumerations in computable structure theory

0 references

Intrinsic bounds on complexity and definability at limit levels

0 references

Degrees of categoricity of computable structures

0 references

Degrees of categoricity and the hyperarithmetic hierarchy

0 references

Degrees of autostability relative to strong constructivizations

0 references

Autostability of models

0 references

Recursive isomorphism types of recursive Boolean algebras

0 references

\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings

0 references

Q4795524

0 references

Autostable I-Algebras

0 references

Q3968915

0 references

Automorphisms of Boolean algebras definable by fixed elements

0 references

Q2898974

0 references

Q4895321

0 references

Q4935938

0 references

Computable structures and the hyperarithmetical hierarchy

0 references

Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism

0 references

Identifiers

zbMATH Open document ID

1349.03042

0 references

DOI

10.1007/s10958-015-2629-5

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5741344

@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intrinsic bounds on complexity and definability at limit levels
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity of computable structures
@@ Property / cites work: Degrees of categoricity of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity and the hyperarithmetic hierarchy
+Normal rank
@@ Property / cites work @@
+Degrees of autostability relative to strong constructivizations
+Normal rank
@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive isomorphism types of recursive Boolean algebras
+Normal rank
@@ Property / cites work @@
+\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
+Normal rank
@@ Property / cites work @@
+Q4795524
@@ Property / cites work: Q4795524 / rank @@
+Normal rank
@@ Property / cites work @@
+Autostable I-Algebras
@@ Property / cites work: Autostable I-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968915
@@ Property / cites work: Q3968915 / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of Boolean algebras definable by fixed elements
+Normal rank
@@ Property / cites work @@
+Q2898974
@@ Property / cites work: Q2898974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935938
@@ Property / cites work: Q4935938 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism
+Normal rank