Zermelo–Fraenkel set theory - PDFSEARCH.IO - Document Search Engine

Zermelo–Fraenkel set theory
Results: 96

#	Item
1	Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English
2	The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 14:59:30
3	Lifschitz Realizability for Intuitionistic Zermelo-Fraenkel Set Theory RAY-MING CHEN, School of Mathematics, University of Leeds Leeds LS2 9JT, UK, E-mail: MICHAEL RATHJEN, School of Mathematics, Un Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 08:28:56
4	Chapter 15 Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions Michael Rathjen Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-08-30 05:01:48
5	Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Michael Rathjen Department of Pure Mathematics University of Leeds, Leeds LS2 9JT, England E-mail: Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2013-04-19 06:45:40
6	THREE DAYS OF Ω-LOGIC PAUL B. LARSON The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathe Add to Reading List Source URL: www.users.miamioh.edu Language: English - Date: 2011-11-30 07:32:02
7	Are Collections Sets? Karen M. Wickett, Allen H. Renear Jonathan Furner Center for Informatics Research in Science and Scholarship Add to Reading List Source URL: www.asis.org Language: English - Date: 2014-07-19 18:54:34 Set theory Z notation Predicate logic Functions and mappings S Equivalence relation Binary relation Finitary relation Zermelo–Fraenkel set theory Mathematical logic Mathematics Logic
8	An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:37:06 Mathematics Z notation Zermelo–Fraenkel set theory Ordinal numbers Constructible universe Ordinal analysis Consistency Forcing Proof theory Mathematical logic Logic
9	VOL. 50, 1963 MATHEMATICS: P. J. COHEN 1143 Add to Reading List Source URL: tobymeadows.files.wordpress.com Language: English - Date: 2010-06-14 22:03:08 Forcing Ordinal number Constructible universe Function Transfinite induction Zermelo–Fraenkel set theory Continuous function Axiom of choice Axiom schema of replacement Mathematical logic Mathematics Set theory
10	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:49 Set theory Principia Mathematica Science Function Type theory Extensionality Zermelo–Fraenkel set theory Logicism Mathematics Mathematical logic Logic