Completeness of the Predicate Calculus in the Basic Theory of Predication
Main Author: | |
---|---|
Language: | English |
Published: |
The Ohio State University / OhioLINK
2010
|
Subjects: | |
Online Access: | http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327 |
id |
ndltd-OhioLink-oai-etd.ohiolink.edu-osu1281927327 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-OhioLink-oai-etd.ohiolink.edu-osu12819273272021-08-03T06:00:31Z Completeness of the Predicate Calculus in the Basic Theory of Predication Florio, Salvatore Mathematics mathematical logic logic everything unrestricted quantification basic theory of predication completeness model theory 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. 2010-10-25 English text The Ohio State University / OhioLINK http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327 http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327 unrestricted This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws. |
collection |
NDLTD |
language |
English |
sources |
NDLTD |
topic |
Mathematics mathematical logic logic everything unrestricted quantification basic theory of predication completeness model theory |
spellingShingle |
Mathematics mathematical logic logic everything unrestricted quantification basic theory of predication completeness model theory Florio, Salvatore Completeness of the Predicate Calculus in the Basic Theory of Predication |
author |
Florio, Salvatore |
author_facet |
Florio, Salvatore |
author_sort |
Florio, Salvatore |
title |
Completeness of the Predicate Calculus in the Basic Theory of Predication |
title_short |
Completeness of the Predicate Calculus in the Basic Theory of Predication |
title_full |
Completeness of the Predicate Calculus in the Basic Theory of Predication |
title_fullStr |
Completeness of the Predicate Calculus in the Basic Theory of Predication |
title_full_unstemmed |
Completeness of the Predicate Calculus in the Basic Theory of Predication |
title_sort |
completeness of the predicate calculus in the basic theory of predication |
publisher |
The Ohio State University / OhioLINK |
publishDate |
2010 |
url |
http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327 |
work_keys_str_mv |
AT floriosalvatore completenessofthepredicatecalculusinthebasictheoryofpredication |
_version_ |
1719429294133870592 |