Revising Type-2 Computation and Degrees of Discontinuity (Q4921445): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2090564910 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: cs/0607114 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A transfinite hierarchy of reals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological properties of real number representations. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective Borel measurability and reducibility of functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic complexity of recursive and inductive algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analytic machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Limiting recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: A sequentially computable function that is not effectively continuous at any point / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Banach-Mazur computable but not Markov computable function on the computable real numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4146722 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relatively recursive reals and real functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Identification of algebraic numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3425115 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classical recursion theory. Vol. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573961 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4298260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trial and error predicates and the solution to a problem of Mostowski / rank
 
Normal rank
Property / cites work
 
Property / cites work: HIERARCHIES OF GENERALIZED KOLMOGOROV COMPLEXITIES AND NONENUMERABLE UNIVERSAL MEASURES COMPUTABLE IN THE LIMIT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical Approaches to Computational Barriers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4431234 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385530 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4485693 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability on continuous, lower semi-continuous and upper semi-continuous real functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability on Regular Subsets of Euclidean Space / rank
 
Normal rank
Property / cites work
 
Property / cites work: New Computational Paradigms / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Arithmetical Hierarchy of Real Numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computability theory of generalized functions / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:55, 6 July 2024

scientific article; zbMATH DE number 6162045
Language Label Description Also known as
English
Revising Type-2 Computation and Degrees of Discontinuity
scientific article; zbMATH DE number 6162045

    Statements

    Revising Type-2 Computation and Degrees of Discontinuity (English)
    0 references
    0 references
    10 May 2013
    0 references
    0 references
    hypercomputation
    0 references
    recursion theory
    0 references
    type-2 theory of effectivity (TTE)
    0 references
    Kleene hierarchy
    0 references
    Borel hierarchy
    0 references
    0 references
    0 references