Paper Info
Title
Semantic Characterisations of Second-Order Computability over the Real Numbers
Abstract
We propose semantic characterisations of second-order computability over the reals based on Σ-definability theory. Notions of computability for operators and real-valued functionals defined on the class of continuous functions are introduced via domain theory. We consider the reals with and without equality and prove theorems which connect computable operators and real-valued functionals with validity of finite Σ-formulas.
Year
DOI
Venue
2001
10.1007/3-540-44802-0_12
CSL
Keywords
Field
DocType
real-valued functionals,second-order computability,domain theory,real numbers,continuous function,computable operator,semantic characterisations,definability theory,value function,second order
Discrete mathematics,Continuous function,Combinatorics,Computability logic,Effective method,Domain theory,Computability,Operator (computer programming),Real number,Mathematics,Computable function
Conference
ISBN
Citations 
PageRank 
3-540-42554-3
3
0.57
References 
Authors
12
2
Name
Order
Citations
PageRank
Margarita V. Korovina18415.61
Oleg V. Kudinov210515.85