On functors enumerating structures (Q2403649): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05939
@@ Property / arXiv ID: 1706.05939 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314795
@@ Property / cites work: Q4314795 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Classes of Finite Structures
@@ Property / cites work: Comparing Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Effective model theory vs. recursive model theory
@@ Property / cites work: Effective model theory vs. recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4882531
@@ Property / cites work: Q4882531 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
+Normal rank
@@ Property / cites work @@
+BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
@@ Property / cites work: BOREL FUNCTORS AND INFINITARY INTERPRETATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Relations between algorithmic reducibilities of algebraic systems
+Normal rank
@@ Property / cites work @@
+Turing computable embeddings
@@ Property / cites work: Turing computable embeddings / rank @@
+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
@@ Property / cites work @@
+Rice sequences of relations
@@ Property / cites work: Rice sequences of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5371227
@@ Property / cites work: Q5371227 / rank @@
+Normal rank
@@ Property / cites work @@
+Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
+Normal rank
@@ Property / cites work @@
+Q5391560
@@ Property / cites work: Q5391560 / rank @@
+Normal rank
@@ Property / cites work @@
+On functors enumerating structures
@@ Property / cites work: On functors enumerating structures / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration Reducibility and Computable Structure Theory
+Normal rank
@@ Property / cites work @@
+Degrees of presentability of structures. I
@@ Property / cites work: Degrees of presentability of structures. I / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of presentability of structures. II
@@ Property / cites work: Degrees of presentability of structures. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464662
@@ Property / cites work: Q3464662 / rank @@
+Normal rank