Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:( Zermelo Fraenkel). Showing records 1 – 4 of 4 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Dieterly, Andrea K. Set Theory.

Degree: MA, Mathematics/Mathematics (Pure), 2011, Bowling Green State University

 This manuscript is to show the equivalency of the Axiom of Choice, Zorn's Lemma and Zermelo's Well-Ordering Principle. Starting with a brief history of the… (more)

Subjects/Keywords: Mathematics; Theoretical Mathematics; set theory; Zermelo-Fraenkel axioms

…the development of set history, this work introduced the Axioms of Zermelo-Fraenkel, common… …5 2 Axioms of Zermelo-Fraenkel 7 2.1 First Order Logic… …7 2.2 The Axioms of Zermelo-Fraenkel… …Ernst Zermelo in 1908 and additional contributions were made by Abraham Fraenkel in 1922. This… …with Zermelo-Fraenkel (ZF) axioms (see chapter two for the formal statement of… 

Page 1 Page 2 Page 3 Page 4 Page 5

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dieterly, A. K. (2011). Set Theory. (Masters Thesis). Bowling Green State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1304689030

Chicago Manual of Style (16th Edition):

Dieterly, Andrea K. “Set Theory.” 2011. Masters Thesis, Bowling Green State University. Accessed October 13, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1304689030.

MLA Handbook (7th Edition):

Dieterly, Andrea K. “Set Theory.” 2011. Web. 13 Oct 2019.

Vancouver:

Dieterly AK. Set Theory. [Internet] [Masters thesis]. Bowling Green State University; 2011. [cited 2019 Oct 13]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1304689030.

Council of Science Editors:

Dieterly AK. Set Theory. [Masters Thesis]. Bowling Green State University; 2011. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1304689030

2. Araújo, Helena Paula Nunes. Teoria de Conjuntos em Isabelle.

Degree: 2006, Universidade da Madeira

Francisco Miguel A. C. de Sousa Dionísio

Subjects/Keywords: Teoria de Conjuntos; Sistema de Zermelo-Fraenkel; Axiomática; Demonstração automática; Isabelle; Tácticas e tacticais; .; Centro de Ciências Exatas e da Engenharia

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Araújo, H. P. N. (2006). Teoria de Conjuntos em Isabelle. (Thesis). Universidade da Madeira. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:digituma.uma.pt:10400.13/205

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Araújo, Helena Paula Nunes. “Teoria de Conjuntos em Isabelle.” 2006. Thesis, Universidade da Madeira. Accessed October 13, 2019. http://www.rcaap.pt/detail.jsp?id=oai:digituma.uma.pt:10400.13/205.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Araújo, Helena Paula Nunes. “Teoria de Conjuntos em Isabelle.” 2006. Web. 13 Oct 2019.

Vancouver:

Araújo HPN. Teoria de Conjuntos em Isabelle. [Internet] [Thesis]. Universidade da Madeira; 2006. [cited 2019 Oct 13]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:digituma.uma.pt:10400.13/205.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Araújo HPN. Teoria de Conjuntos em Isabelle. [Thesis]. Universidade da Madeira; 2006. Available from: http://www.rcaap.pt/detail.jsp?id=oai:digituma.uma.pt:10400.13/205

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of South Africa

3. Steyn, Paul Stephanes. Validating reasoning heuristics using next generation theorem provers .

Degree: 2009, University of South Africa

 The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification… (more)

Subjects/Keywords: Automated reasoning; Automated theorem proving; Heuristics; Resolution; Zermelo-Fraenkel; First-order logic; Formal specification; Gandalf; Otter; Vampire; Set theory; Z

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Steyn, P. S. (2009). Validating reasoning heuristics using next generation theorem provers . (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/2793

Chicago Manual of Style (16th Edition):

Steyn, Paul Stephanes. “Validating reasoning heuristics using next generation theorem provers .” 2009. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/2793.

MLA Handbook (7th Edition):

Steyn, Paul Stephanes. “Validating reasoning heuristics using next generation theorem provers .” 2009. Web. 13 Oct 2019.

Vancouver:

Steyn PS. Validating reasoning heuristics using next generation theorem provers . [Internet] [Doctoral dissertation]. University of South Africa; 2009. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/2793.

Council of Science Editors:

Steyn PS. Validating reasoning heuristics using next generation theorem provers . [Doctoral Dissertation]. University of South Africa; 2009. Available from: http://hdl.handle.net/10500/2793

4. ΔΕΜΗΣ, ΑΠΟΣΤΟΛΟΣ. Η ΕΝΝΟΙΑ ΤΟΥ ΑΠΕΙΡΟΥ ΚΑΤΑ ΤΟΝ ΠΡΟΚΛΟ ΔΙΑΔΟΧΟ.

Degree: 1988, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens

THE WRITER FOLLOWING AN INTRODUCTION TO THE PHILOSOPHICAL SYSTEM OF PROCLUS, EXAMINES THE LOGICAL RELATION BETWEEN THE CONCEPT OF INFINITY AND THE CONCEPT OF LIMIT,… (more)

Subjects/Keywords: HENAD; Infinity; LIMIT; Mathematics; MULTITUDE OR MANIFOLD; Philosophy; POTENCY; PROCLUS; SET; ZERMELO-FRAENKEL; Άπειρο; Δύναμη; ΕΝΑΣ; Μαθηματικά; ΠΕΡΑΣ; Πλήθη; ΠΡΟΚΛΟΣ; ΣΥΝΟΛΟ; Φιλοσοφία

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

ΔΕΜΗΣ, . (1988). Η ΕΝΝΟΙΑ ΤΟΥ ΑΠΕΙΡΟΥ ΚΑΤΑ ΤΟΝ ΠΡΟΚΛΟ ΔΙΑΔΟΧΟ. (Thesis). Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens. Retrieved from http://hdl.handle.net/10442/hedi/1014

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

ΔΕΜΗΣ, ΑΠΟΣΤΟΛΟΣ. “Η ΕΝΝΟΙΑ ΤΟΥ ΑΠΕΙΡΟΥ ΚΑΤΑ ΤΟΝ ΠΡΟΚΛΟ ΔΙΑΔΟΧΟ.” 1988. Thesis, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens. Accessed October 13, 2019. http://hdl.handle.net/10442/hedi/1014.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

ΔΕΜΗΣ, ΑΠΟΣΤΟΛΟΣ. “Η ΕΝΝΟΙΑ ΤΟΥ ΑΠΕΙΡΟΥ ΚΑΤΑ ΤΟΝ ΠΡΟΚΛΟ ΔΙΑΔΟΧΟ.” 1988. Web. 13 Oct 2019.

Vancouver:

ΔΕΜΗΣ . Η ΕΝΝΟΙΑ ΤΟΥ ΑΠΕΙΡΟΥ ΚΑΤΑ ΤΟΝ ΠΡΟΚΛΟ ΔΙΑΔΟΧΟ. [Internet] [Thesis]. Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens; 1988. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10442/hedi/1014.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

ΔΕΜΗΣ . Η ΕΝΝΟΙΑ ΤΟΥ ΑΠΕΙΡΟΥ ΚΑΤΑ ΤΟΝ ΠΡΟΚΛΟ ΔΙΑΔΟΧΟ. [Thesis]. Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens; 1988. Available from: http://hdl.handle.net/10442/hedi/1014

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.