Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I
Subscribe to read and download this work.
ABSTRACT
This project work present a machine-checked formalization of I • elementary abstract algebra in constructive set theory. This formalization uses an approach where I start by specifying the group axioms as a collection of inference rules, defining logic for groups. Then we can tell whether. a given set with a binary operation is a group or not and .derive all properties of groups constructively from these inference rules as well as the axioms of the set theory. The . . ' I • formalization of all other' concepts in group. This work also present an example of a formalization of a concrete group, the Klein 4 - group.
Reviews
No reviews yet.
APA
IGWE, P., & IBEABUCHI (2024). Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I. Michael Okpara University of Agriculture. Retrieved June 8, 2026, from http://repository.mouau.edu.ng/works/formalizing-abstract-algebra-in-constructive-set-theory-ibeabuchi-promise-i-7-2
MLA
IGWE, PROMISE, and IBEABUCHI. "Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I." Michael Okpara University of Agriculture, 13 May. 2024, http://repository.mouau.edu.ng/works/formalizing-abstract-algebra-in-constructive-set-theory-ibeabuchi-promise-i-7-2. Accessed June 8, 2026.
Chicago
IGWE, PROMISE, and IBEABUCHI. "Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I." Michael Okpara University of Agriculture (2024). Accessed June 8, 2026. http://repository.mouau.edu.ng/works/formalizing-abstract-algebra-in-constructive-set-theory-ibeabuchi-promise-i-7-2