Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102276490> ?p ?o ?g. }
- W3102276490 endingPage "290" @default.
- W3102276490 startingPage "281" @default.
- W3102276490 abstract "We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universit{a}t Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzen's and Novikov's, and provide a translation of the manuscript." @default.
- W3102276490 created "2020-11-23" @default.
- W3102276490 creator A5004867039 @default.
- W3102276490 creator A5087100539 @default.
- W3102276490 date "2020-06-12" @default.
- W3102276490 modified "2023-09-25" @default.
- W3102276490 title "Lorenzen's Proof of Consistency for Elementary Number Theory" @default.
- W3102276490 cites W142291065 @default.
- W3102276490 cites W1510647520 @default.
- W3102276490 cites W1538859014 @default.
- W3102276490 cites W1889377864 @default.
- W3102276490 cites W1981622842 @default.
- W3102276490 cites W1990256492 @default.
- W3102276490 cites W1993123041 @default.
- W3102276490 cites W2017259236 @default.
- W3102276490 cites W2037294530 @default.
- W3102276490 cites W2041549181 @default.
- W3102276490 cites W2043827435 @default.
- W3102276490 cites W2054344121 @default.
- W3102276490 cites W2085335923 @default.
- W3102276490 cites W2330723555 @default.
- W3102276490 cites W2343121769 @default.
- W3102276490 cites W2506607617 @default.
- W3102276490 cites W2604272341 @default.
- W3102276490 cites W2946605308 @default.
- W3102276490 cites W3022486391 @default.
- W3102276490 cites W3194309134 @default.
- W3102276490 cites W4205332945 @default.
- W3102276490 cites W4234802835 @default.
- W3102276490 cites W4240786326 @default.
- W3102276490 cites W4245267086 @default.
- W3102276490 cites W4252803071 @default.
- W3102276490 cites W4256369010 @default.
- W3102276490 doi "https://doi.org/10.1080/01445340.2020.1752034" @default.
- W3102276490 hasPublicationYear "2020" @default.
- W3102276490 type Work @default.
- W3102276490 sameAs 3102276490 @default.
- W3102276490 citedByCount "5" @default.
- W3102276490 countsByYear W31022764902021 @default.
- W3102276490 countsByYear W31022764902022 @default.
- W3102276490 crossrefType "journal-article" @default.
- W3102276490 hasAuthorship W3102276490A5004867039 @default.
- W3102276490 hasAuthorship W3102276490A5087100539 @default.
- W3102276490 hasBestOaLocation W31022764902 @default.
- W3102276490 hasConcept C118615104 @default.
- W3102276490 hasConcept C132170107 @default.
- W3102276490 hasConcept C136119220 @default.
- W3102276490 hasConcept C138885662 @default.
- W3102276490 hasConcept C142362112 @default.
- W3102276490 hasConcept C174353785 @default.
- W3102276490 hasConcept C177264268 @default.
- W3102276490 hasConcept C199343813 @default.
- W3102276490 hasConcept C199360897 @default.
- W3102276490 hasConcept C202444582 @default.
- W3102276490 hasConcept C207405024 @default.
- W3102276490 hasConcept C2776436953 @default.
- W3102276490 hasConcept C2777478746 @default.
- W3102276490 hasConcept C2777686260 @default.
- W3102276490 hasConcept C33923547 @default.
- W3102276490 hasConcept C41008148 @default.
- W3102276490 hasConcept C52119013 @default.
- W3102276490 hasConcept C71924100 @default.
- W3102276490 hasConceptScore W3102276490C118615104 @default.
- W3102276490 hasConceptScore W3102276490C132170107 @default.
- W3102276490 hasConceptScore W3102276490C136119220 @default.
- W3102276490 hasConceptScore W3102276490C138885662 @default.
- W3102276490 hasConceptScore W3102276490C142362112 @default.
- W3102276490 hasConceptScore W3102276490C174353785 @default.
- W3102276490 hasConceptScore W3102276490C177264268 @default.
- W3102276490 hasConceptScore W3102276490C199343813 @default.
- W3102276490 hasConceptScore W3102276490C199360897 @default.
- W3102276490 hasConceptScore W3102276490C202444582 @default.
- W3102276490 hasConceptScore W3102276490C207405024 @default.
- W3102276490 hasConceptScore W3102276490C2776436953 @default.
- W3102276490 hasConceptScore W3102276490C2777478746 @default.
- W3102276490 hasConceptScore W3102276490C2777686260 @default.
- W3102276490 hasConceptScore W3102276490C33923547 @default.
- W3102276490 hasConceptScore W3102276490C41008148 @default.
- W3102276490 hasConceptScore W3102276490C52119013 @default.
- W3102276490 hasConceptScore W3102276490C71924100 @default.
- W3102276490 hasIssue "3" @default.
- W3102276490 hasLocation W31022764901 @default.
- W3102276490 hasLocation W31022764902 @default.
- W3102276490 hasLocation W31022764903 @default.
- W3102276490 hasLocation W31022764904 @default.
- W3102276490 hasLocation W31022764905 @default.
- W3102276490 hasOpenAccess W3102276490 @default.
- W3102276490 hasPrimaryLocation W31022764901 @default.
- W3102276490 hasRelatedWork W1893828087 @default.
- W3102276490 hasRelatedWork W2015043718 @default.
- W3102276490 hasRelatedWork W2018979944 @default.
- W3102276490 hasRelatedWork W2025307771 @default.
- W3102276490 hasRelatedWork W2164029925 @default.
- W3102276490 hasRelatedWork W2317836891 @default.
- W3102276490 hasRelatedWork W2353865532 @default.
- W3102276490 hasRelatedWork W2748952813 @default.
- W3102276490 hasRelatedWork W2899084033 @default.
- W3102276490 hasRelatedWork W2964321877 @default.