Reverse mathematics in lattice theory
Reverse mathematics is a program of determining which axioms are required to prove theorems of mathematics. This thesis is devoted to the study of reverse mathematics in lattice theory, where several theorems and existence of objects of countable lattices are established from a reverse mathematics p...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/73368 |