Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953069571> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2953069571 abstract "We give a general method for producing various effective Null and Positivstellensatze, and getting new Positivstellensatze in algebraically closed valued fields and ordered groups. These various effective Nullstellensatze produce algebraic identities certifying that some geometric conditions cannot be simultaneously satisfied. We produce also constructive versions of abstract classical results of algebra based on Zorn's lemma in several cases where such constructive version did not exist. For example, the fact that a real field can be totally ordered, or the fact that a field can be embedded in an algebraically closed field. Our results are based on the concepts we develop of dynamical proofs and simultaneous collapse." @default.
- W2953069571 created "2019-06-27" @default.
- W2953069571 creator A5002114345 @default.
- W2953069571 creator A5032403197 @default.
- W2953069571 creator A5079306745 @default.
- W2953069571 date "2017-01-20" @default.
- W2953069571 modified "2023-09-27" @default.
- W2953069571 title "Dynamical method in algebra: Effective Nullstellensatze" @default.
- W2953069571 cites W1571191807 @default.
- W2953069571 cites W174479171 @default.
- W2953069571 cites W1795577507 @default.
- W2953069571 cites W2016260713 @default.
- W2953069571 cites W2056216010 @default.
- W2953069571 cites W2085352155 @default.
- W2953069571 cites W2088721868 @default.
- W2953069571 cites W2775155366 @default.
- W2953069571 cites W3111329138 @default.
- W2953069571 cites W391884107 @default.
- W2953069571 cites W577129422 @default.
- W2953069571 hasPublicationYear "2017" @default.
- W2953069571 type Work @default.
- W2953069571 sameAs 2953069571 @default.
- W2953069571 citedByCount "0" @default.
- W2953069571 crossrefType "posted-content" @default.
- W2953069571 hasAuthorship W2953069571A5002114345 @default.
- W2953069571 hasAuthorship W2953069571A5032403197 @default.
- W2953069571 hasAuthorship W2953069571A5079306745 @default.
- W2953069571 hasConcept C108710211 @default.
- W2953069571 hasConcept C111919701 @default.
- W2953069571 hasConcept C118615104 @default.
- W2953069571 hasConcept C134306372 @default.
- W2953069571 hasConcept C136119220 @default.
- W2953069571 hasConcept C18903297 @default.
- W2953069571 hasConcept C202444582 @default.
- W2953069571 hasConcept C202854965 @default.
- W2953069571 hasConcept C203701370 @default.
- W2953069571 hasConcept C203763787 @default.
- W2953069571 hasConcept C2524010 @default.
- W2953069571 hasConcept C2777759810 @default.
- W2953069571 hasConcept C2778701210 @default.
- W2953069571 hasConcept C33923547 @default.
- W2953069571 hasConcept C41008148 @default.
- W2953069571 hasConcept C46757340 @default.
- W2953069571 hasConcept C77088390 @default.
- W2953069571 hasConcept C86803240 @default.
- W2953069571 hasConcept C9376300 @default.
- W2953069571 hasConcept C9652623 @default.
- W2953069571 hasConcept C98045186 @default.
- W2953069571 hasConceptScore W2953069571C108710211 @default.
- W2953069571 hasConceptScore W2953069571C111919701 @default.
- W2953069571 hasConceptScore W2953069571C118615104 @default.
- W2953069571 hasConceptScore W2953069571C134306372 @default.
- W2953069571 hasConceptScore W2953069571C136119220 @default.
- W2953069571 hasConceptScore W2953069571C18903297 @default.
- W2953069571 hasConceptScore W2953069571C202444582 @default.
- W2953069571 hasConceptScore W2953069571C202854965 @default.
- W2953069571 hasConceptScore W2953069571C203701370 @default.
- W2953069571 hasConceptScore W2953069571C203763787 @default.
- W2953069571 hasConceptScore W2953069571C2524010 @default.
- W2953069571 hasConceptScore W2953069571C2777759810 @default.
- W2953069571 hasConceptScore W2953069571C2778701210 @default.
- W2953069571 hasConceptScore W2953069571C33923547 @default.
- W2953069571 hasConceptScore W2953069571C41008148 @default.
- W2953069571 hasConceptScore W2953069571C46757340 @default.
- W2953069571 hasConceptScore W2953069571C77088390 @default.
- W2953069571 hasConceptScore W2953069571C86803240 @default.
- W2953069571 hasConceptScore W2953069571C9376300 @default.
- W2953069571 hasConceptScore W2953069571C9652623 @default.
- W2953069571 hasConceptScore W2953069571C98045186 @default.
- W2953069571 hasLocation W29530695711 @default.
- W2953069571 hasOpenAccess W2953069571 @default.
- W2953069571 hasPrimaryLocation W29530695711 @default.
- W2953069571 hasRelatedWork W1556910403 @default.
- W2953069571 hasRelatedWork W1939244073 @default.
- W2953069571 hasRelatedWork W2003038601 @default.
- W2953069571 hasRelatedWork W2090497251 @default.
- W2953069571 hasRelatedWork W2115145127 @default.
- W2953069571 hasRelatedWork W2121405634 @default.
- W2953069571 hasRelatedWork W2289347624 @default.
- W2953069571 hasRelatedWork W2315257258 @default.
- W2953069571 hasRelatedWork W2329627785 @default.
- W2953069571 hasRelatedWork W2493195292 @default.
- W2953069571 hasRelatedWork W2597712750 @default.
- W2953069571 hasRelatedWork W2763954298 @default.
- W2953069571 hasRelatedWork W2790603528 @default.
- W2953069571 hasRelatedWork W2895602245 @default.
- W2953069571 hasRelatedWork W2950446711 @default.
- W2953069571 hasRelatedWork W2950818495 @default.
- W2953069571 hasRelatedWork W2952615421 @default.
- W2953069571 hasRelatedWork W2979625132 @default.
- W2953069571 hasRelatedWork W3088932472 @default.
- W2953069571 hasRelatedWork W2555264133 @default.
- W2953069571 isParatext "false" @default.
- W2953069571 isRetracted "false" @default.
- W2953069571 magId "2953069571" @default.
- W2953069571 workType "article" @default.