Undecidability in algebra

The thesis first discusses first-order model theory and its key concepts, such as compactness, categoricity, and quantifier elimination. These concepts provide a method to construct complete theories. Afterwards, we examine the notion of incompleteness and Gödel's Incompleteness Theorems. Th...

Full description

Saved in:
Bibliographic Details
Main Author: Ng, Kieran Elodie
Other Authors: Wu Guohua
Format: Final Year Project
Language:English
Published: Nanyang Technological University 2024
Subjects:
Online Access:https://hdl.handle.net/10356/175648
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English