Authors: Lombardi, Henri¹ (AUTHOR) henri.lombardi@univ-fcomte.fr, Neuwirth, Stefan¹ (AUTHOR) stefan.neuwirth@univ-fcomte.fr, Yengui, Ihsen^1,2 (AUTHOR) ihsen.yengui@fss.rnu.tn

Superior Title: Journal of Algebra. Jun2024, Vol. 647, p206-229. 24p.

Subject Terms: *COMMUTATIVE rings, *CONSTRUCTIVE mathematics, *ABSTRACT algebra, *MATHEMATICS

Authors: Purnamawulan, Candrawati¹ (AUTHOR), Sutama¹ (AUTHOR) sutama@ums.ac.id

Superior Title: AIP Conference Proceedings. 2024, Vol. 2926 Issue 1, p1-9. 9p.

Subject Terms: *ELEMENTARY schools, *CONSTRUCTIVE mathematics, *LEARNING, *MATHEMATICS students, *PSYCHOLOGY of students, *ARITHMETIC

Geographic Terms: INDONESIA

Authors: Meshveliani, S. D.¹ (AUTHOR) mechvel@scico.botik.ru

Superior Title: Programming & Computer Software. Aug2023, Vol. 49 Issue 4, p199-214. 16p.

Subject Terms: *CONSTRUCTIVE mathematics, *GROBNER bases, *ALGEBRA, *NORMAL forms (Mathematics), *POLYNOMIALS, *MATHEMATICS

Authors: Kawai, Tatsuji¹ (AUTHOR) tatsuji.kawai@kochi-u.ac.jp

Superior Title: Mathematical Logic Quarterly. Aug2023, Vol. 69 Issue 3, p370-391. 22p.

Subject Terms: *CONTINUOUS functions, *CONSTRUCTIVE mathematics, *REVERSE mathematics, *MODULAR arithmetic, *CONTINUITY

Authors: Bell, John L.^Aff2, Livingston, Paul, Section editor^Aff3

Contributors: Sriraman, Bharath, editor^Aff1

Superior Title: Handbook of the History and Philosophy of Mathematical Practice. :1473-1562

Authors: Darnell, Eamon^Aff2, Thomas-Bolduc, Aaron^Aff3, Sriraman, Bharath, Section editor^Aff4

Contributors: Sriraman, Bharath, editor^Aff1

Superior Title: Handbook of the History and Philosophy of Mathematical Practice. :443-461

Authors: Fujiwara, Makoto¹ (AUTHOR), Nemoto, Takako² (AUTHOR) nemototakako@gmail.com

Superior Title: Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences. 5/29/2023, Vol. 381 Issue 2248, p1-15. 15p.

Subject Terms: *REVERSE mathematics, *CONSTRUCTIVE mathematics, *PROOF theory, *PRACTICAL reason, *AXIOMS

Authors: Forster, Yannick, Kirst, Dominik, Mück, Niklas

Subject Terms: Constructive mathematics, Computability theory, Logical foundations, Constructive type theory, Interactive theorem proving, Coq proof assistant, Theory of computation → Constructive mathematics, Theory of computation → Type theory

File Description: application/pdf

Relation: https://github.com/uds-psl/coq-synthetic-computability/tree/code-paper-kleene-post-post; http://math.andrej.com/asset/data/madison-synthetic-computability-talk.pdf; https://hal.inria.fr/inria-00075471; https://dx.doi.org/10.4230/LIPIcs.CSL.2024; https://dx.doi.org/10.1109/LICS.2004.1319613; https://dx.doi.org/10.1016/j.entcs.2005.11.049; https://dx.doi.org/10.1515/tmj-2017-0107; https://dx.doi.org/10.1007/s00224-017-9798-1; https://dx.doi.org/10.1201/9781315275789; https://dx.doi.org/10.1016/0890-5401(88)90005-3; https://dx.doi.org/10.1007/978-3-030-59234-9_10; https://dx.doi.org/10.4230/LIPIcs.CSL.2021.21; https://dx.doi.org/10.22028/D291-35758; https://dx.doi.org/10.1007/978-3-030-93100-1_6; https://dx.doi.org/10.4230/LIPIcs.CSL.2023.21; https://dx.doi.org/10.1145/3293880.3294091

Availability: https://doi.org/10.4230/lipics.csl.2024.2910.4230/LIPIcs.CSL.202410.1109/LICS.2004.131961310.1016/j.entcs.2005.11.04910.1515/tmj-2017-010710.1007/s00224-017-9798-110.1201/978131527578910.1016/0890-5401(88)90005-310.1007/978-3-030-59234-9_1010.4230/LIPIcs.CSL.2021.2110.22028/D291-3575810.1007/978-3-030-93100-1_610.4230/LIPIcs.CSL.2023.2110.1145/3293880.3294091

Authors: Berardi, Stefano, Buriola, Gabriele, Schuster, Peter

Subject Terms: intuitionistic logic, constructive mathematics, formal proof, inductive predicate, bar induction, well quasi-order, Higman’s lemma, Theory of computation → Constructive mathematics, Theory of computation → Proof theory, Mathematics of computing → Discrete mathematics

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.486; https://dx.doi.org/10.4230/LIPIcs.CSL.2024; https://dx.doi.org/10.1016/j.entcs.2008.05.018; https://dx.doi.org/10.1007/978-3-030-30229-0_9; https://dx.doi.org/10.1007/978-3-319-29198-7_11; https://dx.doi.org/10.1007/978-3-030-30229-0_12

Availability: https://doi.org/10.4230/lipics.csl.2024.1610.4230/LIPIcs.CSL.202410.1016/j.entcs.2008.05.01810.1007/978-3-030-30229-0_910.1007/978-3-319-29198-7_1110.1007/978-3-030-30229-0_12

Authors: Nemoto, Takako¹ (AUTHOR) t-nemoto@jaist.ac.jp

Superior Title: Archive for Mathematical Logic. Aug2020, Vol. 59 Issue 5/6, p607-657. 51p.

Subject Terms: *NATURAL numbers, *CONSTRUCTIVE mathematics, *REVERSE mathematics, *ARITHMETIC, *BIJECTIONS, *MATHEMATICAL induction

Authors: HENRY, SIMON¹ shenry2@uottawa.ca

Superior Title: Theory & Applications of Categories. 2020, Vol. 35 Issue 18-24, p875-958. 84p.

Subject Terms: *CONSTRUCTIVE mathematics, *HOMOTOPY theory, *HOMOTOPY equivalences, *MATHEMATICAL equivalence

Authors: Ernest, Paul

Superior Title: Philosophy of Mathematics Education Journal; Feb2024, Issue 41, p1-6, 6p

Subject Terms: MATHEMATICS education, MATHEMATICS, CONSTRUCTIVE mathematics, SOCIAL constructivism, SCHOOL children, PHILOSOPHY of mathematics, KINDERGARTEN children

Authors: Nakata, Satoshi

Subject Terms: local operator, elementary topos, effective topos, realizability, intuitionistic arithmetic, Theory of computation → Constructive mathematics

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.CSL.2024

Availability: https://doi.org/10.4230/lipics.csl.2024.4210.4230/LIPIcs.CSL.2024

Authors: Otten, Daniël, van den Berg, Benno

Subject Terms: Conservativity, Arithmetic, Realizability, Calculus of Inductive Constructions, Theory of computation → Type theory, Theory of computation → Higher order logic, Theory of computation → Constructive mathematics

File Description: application/pdf

Relation: https://eprints.illc.uva.nl/id/document/12640; https://math.stackexchange.com/q/313049; http://eudml.org/doc/148353; https://books.google.nl/books?id=1KAXc5TpEV8C; http://www.jstor.org/stable/2039868; https://dx.doi.org/10.4230/LIPIcs.CSL.2024; https://dx.doi.org/10.1145/3209108.3209130; https://dx.doi.org/10.1109/LICS.2012.21; https://dx.doi.org/10.1016/0890-5401(88)90005-3; https://dx.doi.org/10.1016/0003-4843(76)90008-5; https://dx.doi.org/10.1016/S0304-3975(96)00145-4; https://dx.doi.org/10.1017/CBO9780511526619.004; https://dx.doi.org/10.1016/0304-3975(93)90169-T; https://dx.doi.org/10.1515/9781400882618-002; https://dx.doi.org/10.1006/inco.1994.1037; https://dx.doi.org/10.1017/S0960129500001298; https://dx.doi.org/10.1016/j.apal.2004.08.002

Availability: https://doi.org/10.4230/lipics.csl.2024.4410.4230/LIPIcs.CSL.202410.1145/3209108.320913010.1109/LICS.2012.2110.1016/0890-5401(88)90005-310.1016/0003-4843(76)90008-510.1016/S0304-3975(96)00145-410.1017/CBO9780511526619.00410.1016/0304-3975(93)90169-T10.1515/9781400882618-00210.1006/inco.1994.103710.1017/S096012950000129810.1016/j.apal.2004.08.002

Authors: Petrakis, Iosif¹ (AUTHOR) petrakis@math.lmu.de

Superior Title: Theoretical Computer Science. Oct2022, Vol. 935, p128-143. 16p.

Subject Terms: *TOPOLOGICAL groups, *CONSTRUCTIVE mathematics, *TOPOLOGICAL algebras, *MATHEMATICAL induction

Authors: Kawai, Tatsuji¹ tatsuji.kawai@jaist.ac.jp

Superior Title: Archive for Mathematical Logic. May2019, Vol. 58 Issue 3/4, p443-456. 14p.

Subject Terms: *CONSTRUCTIVE mathematics, *REVERSE mathematics, *CONTINUOUS functions, *CONTINUITY, *METRIC spaces

Authors: Ishihara, Hajime¹ ishihara@jaist.ac.jp, Maietti, Maria Emilia² maietti@math.unipd.it, Maschio, Samuele² maschio@math.unipd.it, Streicher, Thomas³ streicher@mathematik.tu-darmstadt.de

Superior Title: Archive for Mathematical Logic. Nov2018, Vol. 57 Issue 7/8, p873-888. 16p.

Subject Terms: *AXIOM of choice, *CONSTRUCTIVE mathematics, *TOPOLOGY, *ARITHMETIC, *ITERATIVE methods (Mathematics)

Authors: DUDENHEFNER, ANDREJ

Superior Title: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 4, p1-27, 27p

Subject Terms: TURING machines, COMPUTABLE functions, MECHANIZATION, CONSTRUCTIVE mathematics

Authors: Bridges, Douglas S. (AUTHOR) dugbridges@gmail.com

Superior Title: Theoretical Computer Science. Sep2022, Vol. 928, p115-135. 21p.

Subject Terms: *CONSTRUCTIVE mathematics, *SET theory, *CONTINUUM hypothesis, *FORMAL languages, *MORSE theory

Authors: Contente, Michele¹ (AUTHOR), Maietti, Maria Emilia^1,2 (AUTHOR) maietti@math.unipd.it

Superior Title: Theoretical Computer Science. Apr2024, Vol. 991, pN.PAG-N.PAG. 1p.

Subject Terms: *HOMOTOPY theory, *CONSTRUCTIVE mathematics, *SET theory, *ISOMORPHISMS, *MATHEMATICS