Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Schuster, Peter M."'
The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructiv
Externí odkaz:
http://arxiv.org/abs/1903.03070
Autor:
Schuster, Peter M
Publikováno v:
Logical Methods in Computer Science, Volume 9, Issue 3 (September 17, 2013) lmcs:959
Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow in a direct and elementary way from the Principle of Open Induction d
Externí odkaz:
http://arxiv.org/abs/1308.2690
Autor:
Svingen, Gard F.T., Zuo, Hui, Ueland, Per M., Seifert, Reinhard, Løland, Kjetil H., Pedersen, Eva R., Schuster, Peter M., Karlsson, Therese, Tell, Grethe S., Schartum-Hansen, Hall, Olset, Hilde, Svenningsson, Mads, Strand, Elin, Nilsen, Dennis W., Nordrehaug, Jan E., Dhar, Indu, Nygård, Ottar
Publikováno v:
In International Journal of Cardiology 15 September 2018 267:100-106
Autor:
Schuster, Peter M.
Publikováno v:
Proceedings of the American Mathematical Society, 1998 Jul 01. 126(7), 1983-1987.
Externí odkaz:
https://www.jstor.org/stable/118876
At least from a practical and contemporary angle, the time-honoured question about the extent of intuitionistic mathematics rather is to which extent any given proof is effective, which proofs of which theorems can be rendered effective, and whether
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1888bb2be0d66c7054486e8b60dd871d
Publikováno v:
In Theoretical Computer Science 2008 405(1):3-10
Autor:
Schuster, Peter M.
Publikováno v:
In Theoretical Computer Science 18 August 2003 305(1-3):433-455
Autor:
SCHUSTER, PETER M.1
Publikováno v:
Philosophia Mathematica. Mar2004, Vol. 12 Issue 2, p106-134. 29p.