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...

Full description

Saved in:
Bibliographic Details
Main Author: Ru, Junren
Other Authors: Wu Guohua
Format: Theses and Dissertations
Language:English
Published: 2018
Subjects:
Online Access:http://hdl.handle.net/10356/73368
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English