Zobrazeno 1 - 4
of 4
pro vyhledávání: '"free countably complete pseudocomplemented semilattice"'
Autor:
Paul Lorenzen
Publikováno v:
History and Philosophy of Logic. 41:265-280
Die Widerspruchsfreiheit der reinen Zahlentheorie wird mittels der Konstruktion des freien abzählbar-vollständigen pseudokomplementären Halbverbands über einer halbgeordneten Menge bewiesen.Transkription eines getippten Manuskripts mit handschrif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e85a2f17fced935811a07a9d4e96bf21
https://doi.org/10.1080/01445340.2020.1752040
https://doi.org/10.1080/01445340.2020.1752040
Autor:
Coquand, Thierry, Neuwirth, Stefan
Publikováno v:
History and Philosophy of Logic
History and Philosophy of Logic, Taylor & Francis, 2020, ⟨10.1080/01445340.2020.1752034⟩
History and Philosophy of Logic, Taylor & Francis, 2020, ⟨10.1080/01445340.2020.1752034⟩
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 rest
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::764ff18a2ed279e1f958ffd91c2ce1da
http://arxiv.org/abs/2006.08996
http://arxiv.org/abs/2006.08996
Autor:
Lorenzen, Paul
Die Widerspruchsfreiheit der reinen Zahlentheorie wird mittels der Konstruktion des freien abzählbar-vollständigen pseudokomplementären Halbverbands über einer halbgeordneten Menge bewiesen.Transkription eines getippten Manuskripts mit handschrif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::ed4cd0525dec22d279bd2c13ed2130a2
https://hal.archives-ouvertes.fr/hal-01620863
https://hal.archives-ouvertes.fr/hal-01620863
Autor:
Coquand, Thierry, Neuwirth, Stefan
This article proposes an historical and mathematical introduction to Lorenzen's "Algebraische und logistische Untersuchungen \"uber freie Verb\"ande". These "Investigations" appeared in 1951 in The journal of symbolic logic. They have immediately bee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ecb048f212c5171791264a67cdb97b2b
https://hal.archives-ouvertes.fr/hal-01629913/file/coquand-neuwirth-an_introduction_to_lorenzen_s_algebraic_and_logistic_investigations_on_free_lattices_1951-2017.pdf
https://hal.archives-ouvertes.fr/hal-01629913/file/coquand-neuwirth-an_introduction_to_lorenzen_s_algebraic_and_logistic_investigations_on_free_lattices_1951-2017.pdf