Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I

IBEABUCHI | 32 pages (4006 words) | Projects
Mathematics | Co Authors: PROMISE IGWE

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. 

Overall Rating

0.0

5 Star
(0)
4 Star
(0)
3 Star
(0)
2 Star
(0)
1 Star
(0)
APA

IBEABUCHI, I (2024). Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I. Mouau.afribary.org: Retrieved May 18, 2024, from https://repository.mouau.edu.ng/work/view/formalizing-abstract-algebra-in-constructive-set-theory-ibeabuchi-promise-i-7-2

MLA 8th

IBEABUCHI, IBEABUCHI. "Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I" Mouau.afribary.org. Mouau.afribary.org, 13 May. 2024, https://repository.mouau.edu.ng/work/view/formalizing-abstract-algebra-in-constructive-set-theory-ibeabuchi-promise-i-7-2. Accessed 18 May. 2024.

MLA7

IBEABUCHI, IBEABUCHI. "Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I". Mouau.afribary.org, Mouau.afribary.org, 13 May. 2024. Web. 18 May. 2024. < https://repository.mouau.edu.ng/work/view/formalizing-abstract-algebra-in-constructive-set-theory-ibeabuchi-promise-i-7-2 >.

Chicago

IBEABUCHI, IBEABUCHI. "Formalizing Abstract Algebra In Constructive Set Theory:- Ibeabuchi, Promise I" Mouau.afribary.org (2024). Accessed 18 May. 2024. https://repository.mouau.edu.ng/work/view/formalizing-abstract-algebra-in-constructive-set-theory-ibeabuchi-promise-i-7-2

Please wait...