Can partial indexings be totalized? (Q2758051): Difference between revisions

@@ Property / author @@
-Dieter Spreen
@@ Property / author: Dieter Spreen / rank @@
-Normal rank
@@ Property / author @@
+Dieter Spreen
@@ Property / author: Dieter Spreen / rank @@
+Normal rank
@@ 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.2307/2695099
@@ Property / full work available at URL: https://doi.org/10.2307/2695099 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2104260100
@@ Property / OpenAlex ID: W2104260100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Domain representations of topological spaces
@@ Property / cites work: Domain representations of topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Domain representability of metric spaces
@@ Property / cites work: Domain representability of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Closing the gap between the continuous functionals and recursion in \(^3E\)
+Normal rank
@@ Property / cites work @@
+Total sets and objects in domain theory
@@ Property / cites work: Total sets and objects in domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation on metric spaces via domain theory
@@ Property / cites work: Computation on metric spaces via domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces of maximal points
@@ Property / cites work: Spaces of maximal points / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank
@@ Property / cites work @@
+Total objects in inductively defined types
@@ Property / cites work: Total objects in inductively defined types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting higher computations as types with totality
+Normal rank
@@ Property / cites work @@
+Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
+Normal rank
@@ Property / cites work @@
+Total objects of domains
@@ Property / cites work: Total objects of domains / rank @@
+Normal rank
@@ Property / cites work @@
+Real number computability and domain theory
@@ Property / cites work: Real number computability and domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+PCF extended with real numbers
@@ Property / cites work: PCF extended with real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Effective inseparability in a topological setting
@@ Property / cites work: Effective inseparability in a topological setting / rank @@
+Normal rank
@@ Property / cites work @@
+On some decision problems in programming
@@ Property / cites work: On some decision problems in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and fixed point equations over inverse limits of algebras
+Normal rank
@@ Property / cites work @@
+Q5689034
@@ Property / cites work: Q5689034 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2758051