Effectiveness in RPL, with applications to continuous logic (Q636319): Difference between revisions

@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
+Normal rank
@@ Property / cites work @@
+Q3602612
@@ Property / cites work: Q3602612 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theoretic forcing in analysis
@@ Property / cites work: Model theoretic forcing in analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of completeness for continuous first-order logic
+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 @@
+Domain representability of metric spaces
@@ Property / cites work: Domain representability of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Domain representations of topological spaces
@@ Property / cites work: Domain representations of topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Continuous Model Theory. (AM-58)
@@ Property / cites work: Continuous Model Theory. (AM-58) / rank @@
+Normal rank
@@ Property / cites work @@
+Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
+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 @@
+Computable Banach spaces via domain theory
@@ Property / cites work: Computable Banach spaces via domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+A domain-theoretic approach to computability on the real line
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective completeness theorems for modal logic
@@ Property / cites work: Effective completeness theorems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249356
@@ Property / cites work: Q4249356 / rank @@
+Normal rank
@@ Property / cites work @@
+Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
+Normal rank
@@ Property / cites work @@
+Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computability of fractal dimensions and Hausdorff measure
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934290
@@ Property / cites work: Q4934290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934288
@@ Property / cites work: Q4934288 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability in Analysis and Physics
@@ Property / cites work: Computability in Analysis and Physics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384974
@@ Property / cites work: Q5384974 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank