Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054365997> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2054365997 endingPage "108" @default.
- W2054365997 startingPage "103" @default.
- W2054365997 abstract "In constructive theories, an apartness relation is often taken as basic and its negation used as equality. An apartness relation should be continuous in its arguments, as in the case of computable reals. A similar approach can be taken to order relations. We shall here study the partial order on open intervals of computable reals. Since order on reals is undecidable, there is no simple uniformly applicable lattice meet operation that would always produce non-negative intervals as values. We show how to solve this problem by a suitable definition of apartness for intervals. We also prove the strong extensionality of the lattice operations, where by strong extensionality of an operation f on elements a , b we mean that apartness of values implies apartness in some of the arguments: f ( a , b )≠ f ( c , d ) ⊃ a ≠ c ∨ b ≠ d . Most approaches to computable reals start from a concrete definition. We shall instead represent them by an abstract axiomatically introduced order structure." @default.
- W2054365997 created "2016-06-24" @default.
- W2054365997 creator A5050687353 @default.
- W2054365997 date "1999-02-01" @default.
- W2054365997 modified "2023-09-24" @default.
- W2054365997 title "Order in open intervals of computable reals" @default.
- W2054365997 cites W1224951838 @default.
- W2054365997 cites W1491813684 @default.
- W2054365997 cites W1607769879 @default.
- W2054365997 cites W1996516260 @default.
- W2054365997 cites W2049843287 @default.
- W2054365997 cites W2062492362 @default.
- W2054365997 cites W2084858937 @default.
- W2054365997 cites W2528978685 @default.
- W2054365997 cites W2895040089 @default.
- W2054365997 doi "https://doi.org/10.1017/s0960129598002564" @default.
- W2054365997 hasPublicationYear "1999" @default.
- W2054365997 type Work @default.
- W2054365997 sameAs 2054365997 @default.
- W2054365997 citedByCount "4" @default.
- W2054365997 countsByYear W20543659972019 @default.
- W2054365997 countsByYear W20543659972023 @default.
- W2054365997 crossrefType "journal-article" @default.
- W2054365997 hasAuthorship W2054365997A5050687353 @default.
- W2054365997 hasConcept C10138342 @default.
- W2054365997 hasConcept C111472728 @default.
- W2054365997 hasConcept C111919701 @default.
- W2054365997 hasConcept C118615104 @default.
- W2054365997 hasConcept C121332964 @default.
- W2054365997 hasConcept C138885662 @default.
- W2054365997 hasConcept C150355047 @default.
- W2054365997 hasConcept C153269930 @default.
- W2054365997 hasConcept C162324750 @default.
- W2054365997 hasConcept C182306322 @default.
- W2054365997 hasConcept C192034797 @default.
- W2054365997 hasConcept C199360897 @default.
- W2054365997 hasConcept C202444582 @default.
- W2054365997 hasConcept C2185349 @default.
- W2054365997 hasConcept C24890656 @default.
- W2054365997 hasConcept C27318111 @default.
- W2054365997 hasConcept C2778701210 @default.
- W2054365997 hasConcept C2780586882 @default.
- W2054365997 hasConcept C2781204021 @default.
- W2054365997 hasConcept C33923547 @default.
- W2054365997 hasConcept C41008148 @default.
- W2054365997 hasConcept C54271186 @default.
- W2054365997 hasConcept C98045186 @default.
- W2054365997 hasConceptScore W2054365997C10138342 @default.
- W2054365997 hasConceptScore W2054365997C111472728 @default.
- W2054365997 hasConceptScore W2054365997C111919701 @default.
- W2054365997 hasConceptScore W2054365997C118615104 @default.
- W2054365997 hasConceptScore W2054365997C121332964 @default.
- W2054365997 hasConceptScore W2054365997C138885662 @default.
- W2054365997 hasConceptScore W2054365997C150355047 @default.
- W2054365997 hasConceptScore W2054365997C153269930 @default.
- W2054365997 hasConceptScore W2054365997C162324750 @default.
- W2054365997 hasConceptScore W2054365997C182306322 @default.
- W2054365997 hasConceptScore W2054365997C192034797 @default.
- W2054365997 hasConceptScore W2054365997C199360897 @default.
- W2054365997 hasConceptScore W2054365997C202444582 @default.
- W2054365997 hasConceptScore W2054365997C2185349 @default.
- W2054365997 hasConceptScore W2054365997C24890656 @default.
- W2054365997 hasConceptScore W2054365997C27318111 @default.
- W2054365997 hasConceptScore W2054365997C2778701210 @default.
- W2054365997 hasConceptScore W2054365997C2780586882 @default.
- W2054365997 hasConceptScore W2054365997C2781204021 @default.
- W2054365997 hasConceptScore W2054365997C33923547 @default.
- W2054365997 hasConceptScore W2054365997C41008148 @default.
- W2054365997 hasConceptScore W2054365997C54271186 @default.
- W2054365997 hasConceptScore W2054365997C98045186 @default.
- W2054365997 hasIssue "1" @default.
- W2054365997 hasLocation W20543659971 @default.
- W2054365997 hasOpenAccess W2054365997 @default.
- W2054365997 hasPrimaryLocation W20543659971 @default.
- W2054365997 hasRelatedWork W1533694441 @default.
- W2054365997 hasRelatedWork W2054365997 @default.
- W2054365997 hasRelatedWork W2060902871 @default.
- W2054365997 hasRelatedWork W2073172302 @default.
- W2054365997 hasRelatedWork W2159020094 @default.
- W2054365997 hasRelatedWork W2554658470 @default.
- W2054365997 hasRelatedWork W3192040540 @default.
- W2054365997 hasRelatedWork W3217164026 @default.
- W2054365997 hasRelatedWork W4224293363 @default.
- W2054365997 hasRelatedWork W2739963062 @default.
- W2054365997 hasVolume "9" @default.
- W2054365997 isParatext "false" @default.
- W2054365997 isRetracted "false" @default.
- W2054365997 magId "2054365997" @default.
- W2054365997 workType "article" @default.