Categoricity in hyperarithmetical degrees (Q1821772): Difference between revisions

We obtain, under certain assumptions, necessary and sufficient conditions for a recursive structure to be \(\Delta^ 0_{\alpha}\)-categorical. This is done using the author's \(\alpha\)-systems to construct suitable \(\Delta^ 0_{\alpha +1}\) functions. We show how these results may be applied, for example, to superatomic Boolean algebras.

0 references

Mathematics Subject Classification ID

03C57

0 references

0 references

0 references

0 references

recursive structure

0 references

superatomic Boolean algebras

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/0168-0072(87)90038-8

0 references

OpenAlex ID

W2050198215

0 references

cites work

Stability of recursive structures in arithmetical degrees

0 references

Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees

0 references

Intrinsically \(\Sigma ^ 0_{\alpha}\) relations

0 references

Model theory

0 references

Autostability and computable families of constructivizations

0 references

The quantity of nonautoequivalent constructivizations

0 references

Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers

0 references

Q5573961

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1821772

@@ 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.1016/0168-0072(87)90038-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2050198215
@@ Property / OpenAlex ID: W2050198215 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
@@ Property / cites work: Intrinsically \(\Sigma ^ 0_{\alpha}\) relations / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability and computable families of constructivizations
+Normal rank
@@ Property / cites work @@
+The quantity of nonautoequivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank