FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007946452> ?p ?o ?g. }

• W2007946452 abstract "Abstract Stone Duality is a new paradigm for general topology in which computable continuous functions are described directly, without using set theory, infinitary lattice theory or a prior theory of discrete computation. Every expression in the calculus denotes both a continuous function and a program, and the reasoning looks remarkably like a sanitised form of that in classical topology. This is an introduction to ASD for the general mathematician, with application to elementary real analysis. This language is applied to the Intermediate Value Theorem: the solution of equations for continuous functions on the real line. As is well known from both numerical and constructive considerations, the equation cannot be solved if the function hovers near 0, whilst tangential solutions will never be found. In ASD, both of these failures, and the general method of finding solutions of the equation when they exist, are explained by the new concept of overtness. The zeroes are captured, not as a set, but by higher-type modal operators. Unlike the Brouwer degree of a mapping, these are naturally defined and (Scott) continuous across singularities of a parametric equation. Expressing topology in terms of continuous functions rather than using sets of points leads to treatments of open and closed concepts that are very closely lattice- (or de Morgan-) dual, without the double negations that are found in intuitionistic approaches. In this, the dual of compactness is overtness. Whereas meets and joins in locale theory are asymmetrically finite and infinite, they have overt and compact indices in ASD. Overtness replaces metrical properties such as total boundedness, and cardinality conditions such as having a countable dense subset. It is also related to locatedness in constructive analysis and recursive enumerability in recursion theory." @default.
• W2007946452 created "2016-06-24" @default.
• W2007946452 creator A5052539592 @default.
• W2007946452 date "2010-01-01" @default.
• W2007946452 modified "2023-09-28" @default.
• W2007946452 title "A lambda calculus for real analysis" @default.
• W2007946452 cites W127654054 @default.
• W2007946452 cites W13463258 @default.
• W2007946452 cites W1482532876 @default.
• W2007946452 cites W148336677 @default.
• W2007946452 cites W1491813684 @default.
• W2007946452 cites W1499154644 @default.
• W2007946452 cites W1582269801 @default.
• W2007946452 cites W1589829232 @default.
• W2007946452 cites W1590304156 @default.
• W2007946452 cites W159715351 @default.
• W2007946452 cites W16477519 @default.
• W2007946452 cites W1676991901 @default.
• W2007946452 cites W193589104 @default.
• W2007946452 cites W1971197856 @default.
• W2007946452 cites W1986005496 @default.
• W2007946452 cites W1988926767 @default.
• W2007946452 cites W1997051902 @default.
• W2007946452 cites W2007270285 @default.
• W2007946452 cites W2007293786 @default.
• W2007946452 cites W2007945990 @default.
• W2007946452 cites W2011043790 @default.
• W2007946452 cites W2011659388 @default.
• W2007946452 cites W2021445310 @default.
• W2007946452 cites W2032719220 @default.
• W2007946452 cites W2034290319 @default.
• W2007946452 cites W2034441209 @default.
• W2007946452 cites W2039977878 @default.
• W2007946452 cites W2041064634 @default.
• W2007946452 cites W2047459889 @default.
• W2007946452 cites W2067914884 @default.
• W2007946452 cites W2072459054 @default.
• W2007946452 cites W2078425594 @default.
• W2007946452 cites W2080638865 @default.
• W2007946452 cites W2082364592 @default.
• W2007946452 cites W2090905237 @default.
• W2007946452 cites W2098899561 @default.
• W2007946452 cites W2107560387 @default.
• W2007946452 cites W2111094344 @default.
• W2007946452 cites W2114804254 @default.
• W2007946452 cites W2120926795 @default.
• W2007946452 cites W2125378294 @default.
• W2007946452 cites W2126160338 @default.
• W2007946452 cites W2138898876 @default.
• W2007946452 cites W2142539551 @default.
• W2007946452 cites W2148615940 @default.
• W2007946452 cites W2154273644 @default.
• W2007946452 cites W2160037176 @default.
• W2007946452 cites W2162548412 @default.
• W2007946452 cites W2165730173 @default.
• W2007946452 cites W2167873521 @default.
• W2007946452 cites W23080199 @default.
• W2007946452 cites W2325092373 @default.
• W2007946452 cites W2330438806 @default.
• W2007946452 cites W2573672881 @default.
• W2007946452 cites W2575616728 @default.
• W2007946452 cites W2611511037 @default.
• W2007946452 cites W2913777840 @default.
• W2007946452 cites W3177299375 @default.
• W2007946452 cites W36563925 @default.
• W2007946452 cites W82195733 @default.
• W2007946452 cites W941998064 @default.
• W2007946452 cites W22175738 @default.
• W2007946452 doi "https://doi.org/10.4115/jla.2010.2.5" @default.
• W2007946452 hasPublicationYear "2010" @default.
• W2007946452 type Work @default.
• W2007946452 sameAs 2007946452 @default.
• W2007946452 citedByCount "26" @default.
• W2007946452 countsByYear W20079464522012 @default.
• W2007946452 countsByYear W20079464522013 @default.
• W2007946452 countsByYear W20079464522014 @default.
• W2007946452 countsByYear W20079464522015 @default.
• W2007946452 countsByYear W20079464522016 @default.
• W2007946452 countsByYear W20079464522018 @default.
• W2007946452 countsByYear W20079464522019 @default.
• W2007946452 countsByYear W20079464522020 @default.
• W2007946452 countsByYear W20079464522021 @default.
• W2007946452 countsByYear W20079464522022 @default.
• W2007946452 crossrefType "journal-article" @default.
• W2007946452 hasAuthorship W2007946452A5052539592 @default.
• W2007946452 hasBestOaLocation W20079464521 @default.
• W2007946452 hasConcept C118615104 @default.
• W2007946452 hasConcept C120665830 @default.
• W2007946452 hasConcept C121332964 @default.
• W2007946452 hasConcept C135790938 @default.
• W2007946452 hasConcept C142156749 @default.
• W2007946452 hasConcept C199343813 @default.
• W2007946452 hasConcept C2777686260 @default.
• W2007946452 hasConcept C2778113609 @default.
• W2007946452 hasConcept C33923547 @default.
• W2007946452 hasConcept C61237538 @default.
• W2007946452 hasConcept C71924100 @default.
• W2007946452 hasConcept C77736955 @default.
• W2007946452 hasConceptScore W2007946452C118615104 @default.
• W2007946452 hasConceptScore W2007946452C120665830 @default.

• next