On formally undecidable propositions of Zermelo-Fraenkel set theory

St. John, Gavin

Digital.Maag Home
→
Graduate Studies and Research, College of
→
Theses
→
View Item

dc.contributor.author	St. John, Gavin	en_US
dc.date.accessioned	2013-10-24T14:53:07Z
dc.date.accessioned	2019-09-08T02:47:06Z
dc.date.available	2013-10-24T14:53:07Z
dc.date.available	2019-09-08T02:47:06Z
dc.date.issued	2013
dc.identifier	856904195	en_US
dc.identifier.other	b2132542x	en_US
dc.identifier.uri	http://hdl.handle.net/1989/10483
dc.description	vi, 35 leaves : illustrations ; 29 cm.	en_US
dc.description.abstract	We present a demonstration of the Gödel 's incompleteness phenomenon in the formal first-order axiomatization of the Zermelo-Fraenkel axioms of set theory following the methods displayed in Gödel 's famous 1931 paper, Über formal unemtscheidbare Sätze der Principia Mathematica und verwandter Systeme I.[ 1 ]	en_US
dc.description.statementofresponsibility	by Gavin St. John.	en_US
dc.language.iso	en_US	en_US
dc.relation.ispartofseries	Master's Theses no. 1380	en_US
dc.subject.lcsh	Set theory.	en_US
dc.subject.lcsh	Gödel's theorem.	en_US
dc.subject.lcsh	Incompleteness theorems.	en_US
dc.title	On formally undecidable propositions of Zermelo-Fraenkel set theory	en_US
dc.type	Thesis	en_US

Files in this item

Name: StJohn Gavin with ...

Size: 316.5Kb

Format: PDF

View/Open

This item appears in the following Collection(s)

Theses

Show simple item record

Search Digital.Maag

Advanced Search

Browse

All of Digital.Maag
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Digital.Maag is an archival repository for Youngstown State University. The University Archives makes digital files available to improve access to historical materials and disseminate the intellectual output of Youngstown State University.

Content may be used for teaching, research, and educational purposes. Organizations and individuals seeking to use content for commercial purposes must obtain permission directly from the appropriate copyright holder. Any materials used from this online collection must include a complete acknowledgment, including the name of the collection and a credit line to the Youngstown State University Archives.

Submissions are approved for inclusion in the repository by the University Archives based on several attributes including their relation to the mission of Digital.Maag, technical requirements, and copyright. The content of submissions is considered final. Only University Archives staff may update record descriptions.

Notice and Procedures for Making Claims of Copyright or Intellectual Property Infringement

If you believe that your work has been included in this repository in a way that might constitute copyright infringement, or your intellectual property rights may have been otherwise violated, please provide the University Archives a Notice containing the following information:

Your address, telephone number, and email address;
A description of the copyrighted work that you claim has been infringed;
A description of where the alleged infringing material is located;
A statement by you that you have a good faith belief that the disputed use is not authorized by you, the copyright owner, its agent, or the law;
An electronic or physical signature of the person authorized to act on behalf of the owner of the copyright interest; and
A statement by you, made under penalty of perjury, that the above information is accurate and that you are the copyright owner or authorized to act on behalf of the copyright owner.

University Archives, Maag Library
Youngstown State University
1 University Plaza
Youngstown, OH 44555
archives@ysu.edu