Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism (Q1936277): Difference between revisions

@@ Property / cites work @@
+Q4530731
@@ Property / cites work: Q4530731 / rank @@
+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 @@
+Effective categoricity of equivalence structures
@@ Property / cites work: Effective categoricity of equivalence structures / rank @@
+Normal rank
@@ Property / cites work @@
+LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
+Normal rank
@@ Property / cites work @@
+Limitwise monotonic functions, sets, and degrees on computable domains
+Normal rank
@@ Property / cites work @@
+<i>η</i>-representation of sets and degrees
@@ Property / cites work: <i>η</i>-representation of sets and degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Computable shuffle sums of ordinals
@@ Property / cites work: Computable shuffle sums of ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Limitwise monotonic sequences and degree spectra of structures
+Normal rank
@@ Property / cites work @@
+Degrees coded in jumps of orderings
@@ Property / cites work: Degrees coded in jumps of orderings / rank @@
+Normal rank