Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952491567> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2952491567 abstract "Euclid's reasoning is essentially constructive. Tarski's elegant and concise first-order theory of Euclidean geometry, on the other hand, is essentially non-constructive, even if we restrict attention (as we do here) to the theory with line-circle and circle-circle continuity in place of first-order Dedekind completeness. Here we exhibit three constructive versions of Tarski's theory. One, like Tarski's theory, has existential axioms and no function symbols. We then consider a version in which function symbols are used instead of existential quantifiers. The third version has a function symbol for the intersection point of two non-parallel, non-coincident lines, instead of only for intersection points produced by Pasch's axiom and the parallel axiom; this choice of function symbols connects directly to ruler-and-compass constructions. All three versions have this in common: the axioms have been modified so that the points they assert to exist are unique and depend continuously on parameters. This modification of Tarski's axioms, with classical logic, has the same theorems as Tarski's theory, but we obtain results connecting it with ruler-and-compass constructions as well. In particular, points constructively proved to exist can be constructed with ruler and compass, uniformly in parameters; the same is true with non-constructive proofs if several constructions are allowed for different cases." @default.
- W2952491567 created "2019-06-27" @default.
- W2952491567 creator A5034098863 @default.
- W2952491567 date "2014-07-13" @default.
- W2952491567 modified "2023-09-27" @default.
- W2952491567 title "A Constructive Version of Tarski's Geometry" @default.
- W2952491567 cites W1483568252 @default.
- W2952491567 cites W1974501489 @default.
- W2952491567 cites W2000845118 @default.
- W2952491567 cites W2014783790 @default.
- W2952491567 cites W2026222799 @default.
- W2952491567 cites W3205102659 @default.
- W2952491567 cites W628175337 @default.
- W2952491567 hasPublicationYear "2014" @default.
- W2952491567 type Work @default.
- W2952491567 sameAs 2952491567 @default.
- W2952491567 citedByCount "2" @default.
- W2952491567 countsByYear W29524915672013 @default.
- W2952491567 countsByYear W29524915672014 @default.
- W2952491567 crossrefType "posted-content" @default.
- W2952491567 hasAuthorship W2952491567A5034098863 @default.
- W2952491567 hasConcept C108710211 @default.
- W2952491567 hasConcept C111919701 @default.
- W2952491567 hasConcept C127413603 @default.
- W2952491567 hasConcept C129782007 @default.
- W2952491567 hasConcept C136119220 @default.
- W2952491567 hasConcept C14036430 @default.
- W2952491567 hasConcept C146978453 @default.
- W2952491567 hasConcept C167729594 @default.
- W2952491567 hasConcept C199343813 @default.
- W2952491567 hasConcept C202444582 @default.
- W2952491567 hasConcept C2524010 @default.
- W2952491567 hasConcept C2777686260 @default.
- W2952491567 hasConcept C2778701210 @default.
- W2952491567 hasConcept C33923547 @default.
- W2952491567 hasConcept C41008148 @default.
- W2952491567 hasConcept C64543145 @default.
- W2952491567 hasConcept C71924100 @default.
- W2952491567 hasConcept C76449584 @default.
- W2952491567 hasConcept C78458016 @default.
- W2952491567 hasConcept C86803240 @default.
- W2952491567 hasConcept C98045186 @default.
- W2952491567 hasConceptScore W2952491567C108710211 @default.
- W2952491567 hasConceptScore W2952491567C111919701 @default.
- W2952491567 hasConceptScore W2952491567C127413603 @default.
- W2952491567 hasConceptScore W2952491567C129782007 @default.
- W2952491567 hasConceptScore W2952491567C136119220 @default.
- W2952491567 hasConceptScore W2952491567C14036430 @default.
- W2952491567 hasConceptScore W2952491567C146978453 @default.
- W2952491567 hasConceptScore W2952491567C167729594 @default.
- W2952491567 hasConceptScore W2952491567C199343813 @default.
- W2952491567 hasConceptScore W2952491567C202444582 @default.
- W2952491567 hasConceptScore W2952491567C2524010 @default.
- W2952491567 hasConceptScore W2952491567C2777686260 @default.
- W2952491567 hasConceptScore W2952491567C2778701210 @default.
- W2952491567 hasConceptScore W2952491567C33923547 @default.
- W2952491567 hasConceptScore W2952491567C41008148 @default.
- W2952491567 hasConceptScore W2952491567C64543145 @default.
- W2952491567 hasConceptScore W2952491567C71924100 @default.
- W2952491567 hasConceptScore W2952491567C76449584 @default.
- W2952491567 hasConceptScore W2952491567C78458016 @default.
- W2952491567 hasConceptScore W2952491567C86803240 @default.
- W2952491567 hasConceptScore W2952491567C98045186 @default.
- W2952491567 hasLocation W29524915671 @default.
- W2952491567 hasOpenAccess W2952491567 @default.
- W2952491567 hasPrimaryLocation W29524915671 @default.
- W2952491567 hasRelatedWork W124657849 @default.
- W2952491567 hasRelatedWork W149310769 @default.
- W2952491567 hasRelatedWork W149671515 @default.
- W2952491567 hasRelatedWork W1534136709 @default.
- W2952491567 hasRelatedWork W1726220741 @default.
- W2952491567 hasRelatedWork W1998301297 @default.
- W2952491567 hasRelatedWork W2016620481 @default.
- W2952491567 hasRelatedWork W2020181945 @default.
- W2952491567 hasRelatedWork W2034747415 @default.
- W2952491567 hasRelatedWork W2084960870 @default.
- W2952491567 hasRelatedWork W2100414237 @default.
- W2952491567 hasRelatedWork W2164077872 @default.
- W2952491567 hasRelatedWork W2327828415 @default.
- W2952491567 hasRelatedWork W2720471892 @default.
- W2952491567 hasRelatedWork W2736073068 @default.
- W2952491567 hasRelatedWork W2804444496 @default.
- W2952491567 hasRelatedWork W2805606894 @default.
- W2952491567 hasRelatedWork W2948026114 @default.
- W2952491567 hasRelatedWork W2986336879 @default.
- W2952491567 hasRelatedWork W3162869676 @default.
- W2952491567 isParatext "false" @default.
- W2952491567 isRetracted "false" @default.
- W2952491567 magId "2952491567" @default.
- W2952491567 workType "article" @default.