PUNCTUAL CATEGORICITY AND UNIVERSALITY (Q5858918): Difference between revisions

@@ 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.1017/jsl.2020.51
+Normal rank
@@ Property / OpenAlex ID @@
+W3094321964
@@ Property / OpenAlex ID: W3094321964 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+FOUNDATIONS OF ONLINE STRUCTURE THEORY
@@ Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
+Normal rank
@@ Property / cites work @@
+Computability of distributive lattices
@@ Property / cites work: Computability of distributive lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time Abelian groups
@@ Property / cites work: Polynomial-time Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Space complexity of abelian groups
@@ Property / cites work: Space complexity of abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249365
@@ Property / cites work: Q4249365 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computable categoricity
@@ Property / cites work: The complexity of computable categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs are not universal for online computability
@@ Property / cites work: Graphs are not universal for online computability / rank @@
+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 @@
+Q3931264
@@ Property / cites work: Q3931264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3961013
@@ Property / cites work: Q3961013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832760
@@ Property / cites work: Q3832760 / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>))
+Normal rank
@@ Property / cites work @@
+Metric structures for Riemannian and non-Riemannian spaces. Transl. from the French by Sean Michael Bates. With appendices by M. Katz, P. Pansu, and S. Semmes. Edited by J. LaFontaine and P. Pansu
+Normal rank
@@ Property / cites work @@
+COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
+Normal rank
@@ Property / cites work @@
+Some Questions in Computable Mathematics
@@ Property / cites work: Some Questions in Computable Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Algebraic structures computable without delay
@@ Property / cites work: Algebraic structures computable without delay / rank @@
+Normal rank
@@ Property / cites work @@
+Primitive recursive fields and categoricity
@@ Property / cites work: Primitive recursive fields and categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396632
@@ Property / cites work: Q3396632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249728
@@ Property / cites work: Q4249728 / rank @@
+Normal rank
@@ Property / cites work @@
+On-Line Coloring and Recursive Graph Theory
@@ Property / cites work: On-Line Coloring and Recursive Graph Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating unbounded search in computable algebra
+Normal rank
@@ Property / cites work @@
+The Classification Problem for Compact Computable Metric Spaces
+Normal rank
@@ Property / cites work @@
+A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
@@ Property / cites work: A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5858918