UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Continuous first order logic and local stability
@@ Property / cites work: Continuous first order logic and local stability / rank @@
+Normal rank
@@ Property / cites work @@
+The Arithmetical Hierarchy in the Setting of $\omega_1$
+Normal rank
@@ Property / cites work @@
+Q4677706
@@ Property / cites work: Q4677706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Finding bases of uncountable free abelian groups is usually difficult
+Normal rank
@@ Property / cites work @@
+COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY
+Normal rank
@@ Property / cites work @@
+COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA
+Normal rank
@@ Property / cites work @@
+Q3464657
@@ Property / cites work: Q3464657 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Computable categoricity for pseudo-exponential fields of \(\aleph_1\)
+Normal rank
@@ Property / cites work @@
+A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
+Normal rank
@@ Property / cites work @@
+Some geometric and dynamical properties of the Urysohn space
+Normal rank
@@ Property / cites work @@
+Computable structures and operations on the space of continuous functions
+Normal rank
@@ Property / cites work @@
+Computably Isometric Spaces
@@ Property / cites work: Computably Isometric Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The Classification Problem for Compact Computable Metric Spaces
+Normal rank
@@ Property / cites work @@
+Locally Computable Structures
@@ Property / cites work: Locally Computable Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank