Skip to Main Content
Frequently Asked Questions
Submit an ETD
Global Search Box
Need Help?
Keyword Search
Participating Institutions
Advanced Search
School Logo
Files
File List
osu1281927327.pdf (346.41 KB)
ETD Abstract Container
Abstract Header
Completeness of the Predicate Calculus in the Basic Theory of Predication
Author Info
Florio, Salvatore
Permalink:
http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327
Abstract Details
Year and Degree
2010, Master of Science, Ohio State University, Mathematics.
Abstract
In the first part of the thesis, we present the Basic Theory of Predication as elaborated by Harvey Friedman. Within the Basic Theory of Predication, we develop arithmetic and the basic semantic notions for the predicate calculus. The domains of the structures for the predicate calculus are unrestricted. That is, the quantifiers of the predicate calculus are interpreted as ranging over the universe of the metatheory, the Basic Theory of Predication. In the second part of the thesis, we outline the proof of a completeness theorem for the predicate calculus. According to the theorem, on the assumption that the universe of the metatheory is linearly ordered, every set of sentences consistent with infinity is satisfiable.
Committee
Harvey Friedman, PhD (Committee Chair)
Neil Tennant, PhD (Committee Member)
Pages
68 p.
Subject Headings
Mathematics
Keywords
mathematical logic
;
logic
;
everything
;
unrestricted quantification
;
basic theory of predication
;
completeness
;
model theory
;
Recommended Citations
Refworks
EndNote
RIS
Mendeley
Citations
Florio, S. (2010).
Completeness of the Predicate Calculus in the Basic Theory of Predication
[Master's thesis, Ohio State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327
APA Style (7th edition)
Florio, Salvatore.
Completeness of the Predicate Calculus in the Basic Theory of Predication.
2010. Ohio State University, Master's thesis.
OhioLINK Electronic Theses and Dissertations Center
, http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327.
MLA Style (8th edition)
Florio, Salvatore. "Completeness of the Predicate Calculus in the Basic Theory of Predication." Master's thesis, Ohio State University, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327
Chicago Manual of Style (17th edition)
Abstract Footer
Document number:
osu1281927327
Download Count:
536
Copyright Info
© 2010, all rights reserved.
This open access ETD is published by The Ohio State University and OhioLINK.