Zobrazeno 1 - 10
of 52 376
pro vyhledávání: '"constructive"'
Autor:
Chernov, Viktor1 (AUTHOR) chernov.v@unecon.ru, Chernov, Vladimir2 (AUTHOR) vladimir.chernov@dartmouth.edu
Publikováno v:
Axioms (2075-1680). May2024, Vol. 13 Issue 5, p293. 9p.
Autor:
Bentzen, Bruno1 (AUTHOR) bbentzen@zju.edu.cn
Publikováno v:
Philosophia Mathematica. Oct2024, Vol. 32 Issue 3, p307-331. 25p.
Autor:
Kawai, Tatsuji1 (AUTHOR) tatsuji.kawai@kochi-u.ac.jp
Publikováno v:
Mathematical Logic Quarterly. Aug2023, Vol. 69 Issue 3, p370-391. 22p.
Autor:
Lombardi, Henri, Mahboubi, Assia
In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics without a dependent choice axiom. To this purpose, we use a dynamical
Externí odkaz:
http://arxiv.org/abs/2408.10290
Autor:
Banakh, Taras1,2 (AUTHOR) t.o.banakh@gmail.com, Lubarsky, Robert S.3 (AUTHOR) Robert.Lubarsky@alum.mit.edu
Publikováno v:
Computability. 2024, Vol. 13 Issue 3/4, p223-236. 14p.
Autor:
Lombardi, Henri1 (AUTHOR) henri.lombardi@univ-fcomte.fr, Neuwirth, Stefan1 (AUTHOR) stefan.neuwirth@univ-fcomte.fr, Yengui, Ihsen1,2 (AUTHOR) ihsen.yengui@fss.rnu.tn
Publikováno v:
Journal of Algebra. Jun2024, Vol. 647, p206-229. 24p.
Autor:
Purnamawulan, Candrawati1 (AUTHOR), Sutama1 (AUTHOR) sutama@ums.ac.id
Publikováno v:
AIP Conference Proceedings. 2024, Vol. 2926 Issue 1, p1-9. 9p.
Autor:
Arlinghaus, Sandra L.
Publikováno v:
Solstice: An Electronic Journal of Geography & Mathematics. 6/21/2022, Vol. 33 Issue 1, p23-26. 4p.