FRINK Linked Data Fragments server

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

• W2207751010 abstract "The classical theory of ordered fields (Artin-Schreier theory) makes intensive use of non-constructive methods, in particular of the axiom of choice. However since Tarski (and even since Sturm and Sylvester) one knows how to compute in the real closure of an ordered field K solely by computations in K. This apparent contradiction is solved in this paper." @default.
• W2207751010 created "2016-06-24" @default.
• W2207751010 creator A5002114345 @default.
• W2207751010 creator A5032403197 @default.
• W2207751010 date "1991-01-01" @default.
• W2207751010 modified "2023-09-23" @default.
• W2207751010 title "Elementary constructive theory of ordered fields" @default.
• W2207751010 cites W1490274092 @default.
• W2207751010 cites W1989763544 @default.
• W2207751010 cites W2006918089 @default.
• W2207751010 cites W2010770007 @default.
• W2207751010 cites W2036581362 @default.
• W2207751010 cites W4229738979 @default.
• W2207751010 doi "https://doi.org/10.1007/978-1-4612-0441-1_17" @default.
• W2207751010 hasPublicationYear "1991" @default.
• W2207751010 type Work @default.
• W2207751010 sameAs 2207751010 @default.
• W2207751010 citedByCount "6" @default.
• W2207751010 crossrefType "book-chapter" @default.
• W2207751010 hasAuthorship W2207751010A5002114345 @default.
• W2207751010 hasAuthorship W2207751010A5032403197 @default.
• W2207751010 hasConcept C111472728 @default.
• W2207751010 hasConcept C111919701 @default.
• W2207751010 hasConcept C11413529 @default.
• W2207751010 hasConcept C118615104 @default.
• W2207751010 hasConcept C136119220 @default.
• W2207751010 hasConcept C13851312 @default.
• W2207751010 hasConcept C138885662 @default.
• W2207751010 hasConcept C146834321 @default.
• W2207751010 hasConcept C151797676 @default.
• W2207751010 hasConcept C153046414 @default.
• W2207751010 hasConcept C162324750 @default.
• W2207751010 hasConcept C167729594 @default.
• W2207751010 hasConcept C177264268 @default.
• W2207751010 hasConcept C199343813 @default.
• W2207751010 hasConcept C199360897 @default.
• W2207751010 hasConcept C202444582 @default.
• W2207751010 hasConcept C202854965 @default.
• W2207751010 hasConcept C2524010 @default.
• W2207751010 hasConcept C2776728590 @default.
• W2207751010 hasConcept C2777686260 @default.
• W2207751010 hasConcept C2778701210 @default.
• W2207751010 hasConcept C33923547 @default.
• W2207751010 hasConcept C34447519 @default.
• W2207751010 hasConcept C41008148 @default.
• W2207751010 hasConcept C45374587 @default.
• W2207751010 hasConcept C556429856 @default.
• W2207751010 hasConcept C71924100 @default.
• W2207751010 hasConcept C9652623 @default.
• W2207751010 hasConcept C98045186 @default.
• W2207751010 hasConceptScore W2207751010C111472728 @default.
• W2207751010 hasConceptScore W2207751010C111919701 @default.
• W2207751010 hasConceptScore W2207751010C11413529 @default.
• W2207751010 hasConceptScore W2207751010C118615104 @default.
• W2207751010 hasConceptScore W2207751010C136119220 @default.
• W2207751010 hasConceptScore W2207751010C13851312 @default.
• W2207751010 hasConceptScore W2207751010C138885662 @default.
• W2207751010 hasConceptScore W2207751010C146834321 @default.
• W2207751010 hasConceptScore W2207751010C151797676 @default.
• W2207751010 hasConceptScore W2207751010C153046414 @default.
• W2207751010 hasConceptScore W2207751010C162324750 @default.
• W2207751010 hasConceptScore W2207751010C167729594 @default.
• W2207751010 hasConceptScore W2207751010C177264268 @default.
• W2207751010 hasConceptScore W2207751010C199343813 @default.
• W2207751010 hasConceptScore W2207751010C199360897 @default.
• W2207751010 hasConceptScore W2207751010C202444582 @default.
• W2207751010 hasConceptScore W2207751010C202854965 @default.
• W2207751010 hasConceptScore W2207751010C2524010 @default.
• W2207751010 hasConceptScore W2207751010C2776728590 @default.
• W2207751010 hasConceptScore W2207751010C2777686260 @default.
• W2207751010 hasConceptScore W2207751010C2778701210 @default.
• W2207751010 hasConceptScore W2207751010C33923547 @default.
• W2207751010 hasConceptScore W2207751010C34447519 @default.
• W2207751010 hasConceptScore W2207751010C41008148 @default.
• W2207751010 hasConceptScore W2207751010C45374587 @default.
• W2207751010 hasConceptScore W2207751010C556429856 @default.
• W2207751010 hasConceptScore W2207751010C71924100 @default.
• W2207751010 hasConceptScore W2207751010C9652623 @default.
• W2207751010 hasConceptScore W2207751010C98045186 @default.
• W2207751010 hasLocation W22077510101 @default.
• W2207751010 hasOpenAccess W2207751010 @default.
• W2207751010 hasPrimaryLocation W22077510101 @default.
• W2207751010 hasRelatedWork W147341884 @default.
• W2207751010 hasRelatedWork W1649907574 @default.
• W2207751010 hasRelatedWork W1965535978 @default.
• W2207751010 hasRelatedWork W1971643033 @default.
• W2207751010 hasRelatedWork W2002495770 @default.
• W2207751010 hasRelatedWork W2010324947 @default.
• W2207751010 hasRelatedWork W2024769114 @default.
• W2207751010 hasRelatedWork W2050939025 @default.
• W2207751010 hasRelatedWork W2057128962 @default.
• W2207751010 hasRelatedWork W2061136919 @default.
• W2207751010 hasRelatedWork W2079355284 @default.
• W2207751010 hasRelatedWork W2090245098 @default.
• W2207751010 hasRelatedWork W2100453004 @default.
• W2207751010 hasRelatedWork W2115109045 @default.
• W2207751010 hasRelatedWork W2145724981 @default.
• W2207751010 hasRelatedWork W2412553109 @default.
• W2207751010 hasRelatedWork W2433382827 @default.
• W2207751010 hasRelatedWork W2481447568 @default.

• next