Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116729282> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2116729282 endingPage "232" @default.
- W2116729282 startingPage "221" @default.
- W2116729282 abstract "In constructive mathematics the Dedekind cut definition of real number is not equivalent to the definition of real number by Cauchy sequences, and the Dedekind real numbers do not satisfy Heyting's axioms for constructive fields. A more general notion of constructive field is proposed which includes the Dedekind real numbers; some linear algebra is given which applies to such fields." @default.
- W2116729282 created "2016-06-24" @default.
- W2116729282 creator A5090721060 @default.
- W2116729282 date "1973-04-01" @default.
- W2116729282 modified "2023-09-25" @default.
- W2116729282 title "Axioms for constructive fields" @default.
- W2116729282 cites W2068908681 @default.
- W2116729282 doi "https://doi.org/10.1017/s0004972700042477" @default.
- W2116729282 hasPublicationYear "1973" @default.
- W2116729282 type Work @default.
- W2116729282 sameAs 2116729282 @default.
- W2116729282 citedByCount "1" @default.
- W2116729282 crossrefType "journal-article" @default.
- W2116729282 hasAuthorship W2116729282A5090721060 @default.
- W2116729282 hasBestOaLocation W21167292821 @default.
- W2116729282 hasConcept C111919701 @default.
- W2116729282 hasConcept C136119220 @default.
- W2116729282 hasConcept C167729594 @default.
- W2116729282 hasConcept C199343813 @default.
- W2116729282 hasConcept C202444582 @default.
- W2116729282 hasConcept C2524010 @default.
- W2116729282 hasConcept C2777686260 @default.
- W2116729282 hasConcept C2778701210 @default.
- W2116729282 hasConcept C33923547 @default.
- W2116729282 hasConcept C41008148 @default.
- W2116729282 hasConcept C71924100 @default.
- W2116729282 hasConcept C98045186 @default.
- W2116729282 hasConceptScore W2116729282C111919701 @default.
- W2116729282 hasConceptScore W2116729282C136119220 @default.
- W2116729282 hasConceptScore W2116729282C167729594 @default.
- W2116729282 hasConceptScore W2116729282C199343813 @default.
- W2116729282 hasConceptScore W2116729282C202444582 @default.
- W2116729282 hasConceptScore W2116729282C2524010 @default.
- W2116729282 hasConceptScore W2116729282C2777686260 @default.
- W2116729282 hasConceptScore W2116729282C2778701210 @default.
- W2116729282 hasConceptScore W2116729282C33923547 @default.
- W2116729282 hasConceptScore W2116729282C41008148 @default.
- W2116729282 hasConceptScore W2116729282C71924100 @default.
- W2116729282 hasConceptScore W2116729282C98045186 @default.
- W2116729282 hasIssue "2" @default.
- W2116729282 hasLocation W21167292821 @default.
- W2116729282 hasOpenAccess W2116729282 @default.
- W2116729282 hasPrimaryLocation W21167292821 @default.
- W2116729282 hasRelatedWork W1499671889 @default.
- W2116729282 hasRelatedWork W181649912 @default.
- W2116729282 hasRelatedWork W1974483963 @default.
- W2116729282 hasRelatedWork W2032248907 @default.
- W2116729282 hasRelatedWork W2077365834 @default.
- W2116729282 hasRelatedWork W2097243082 @default.
- W2116729282 hasRelatedWork W2334373413 @default.
- W2116729282 hasRelatedWork W2392668906 @default.
- W2116729282 hasRelatedWork W2484318916 @default.
- W2116729282 hasRelatedWork W2490477926 @default.
- W2116729282 hasRelatedWork W2503600761 @default.
- W2116729282 hasRelatedWork W2725221737 @default.
- W2116729282 hasRelatedWork W2805609825 @default.
- W2116729282 hasRelatedWork W2807998995 @default.
- W2116729282 hasRelatedWork W2886449618 @default.
- W2116729282 hasRelatedWork W2912747886 @default.
- W2116729282 hasRelatedWork W2952928499 @default.
- W2116729282 hasRelatedWork W2960917601 @default.
- W2116729282 hasRelatedWork W3117568676 @default.
- W2116729282 hasRelatedWork W3128676979 @default.
- W2116729282 hasVolume "8" @default.
- W2116729282 isParatext "false" @default.
- W2116729282 isRetracted "false" @default.
- W2116729282 magId "2116729282" @default.
- W2116729282 workType "article" @default.