ZermeloFraenkel set theory - PDFSEARCH.IO - Document Search Engine

ZermeloFraenkel set theory
Results: 6

#	Item
1	Characterizations of Pretameness Regula Krapf joint work with Peter Holy and Philipp Schlicht University of Bonn December 8, 2015 Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-12-08 06:01:31 Mathematics Mathematical logic Logic Z notation ZermeloFraenkel set theory Forcing Model theory Constructible universe
2	Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-08-07 07:54:13 Mathematics Mathematical logic Logic Foundations of mathematics Z notation ZermeloFraenkel set theory Determinacy Set theory Second-order arithmetic Constructible universe Model theory Descriptive set theory
3	Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability I Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-11-11 09:54:27 Mathematical logic Mathematics Forcing Logic Cardinal numbers Infinity ZermeloFraenkel set theory Continuum hypothesis Aleph number Lebesgue measure Constructible universe Ordinal number
4	KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2006-10-02 06:06:35 Mathematics Logic Mathematical logic Ontology Boolean algebra Mereology Predicate logic Algebraic logic ZermeloFraenkel set theory Binary relation Power set Mereotopology
5	A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2016-05-03 08:34:47 Mathematics Theoretical computer science Computability theory Mathematical logic Theory of computation Turing machine Models of computation Busy beaver Halting problem ZermeloFraenkel set theory Computability Computable function
6	C:/Documents and Settings/jipsen/My Documents/Classes/Math Club/settheoryaxioms.dvi Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2007-06-30 21:43:08 Mathematical logic Mathematics Logic Z notation Foundations of mathematics ZermeloFraenkel set theory Axioms of set theory Constructible universe S TarskiGrothendieck set theory MorseKelley set theory

UPDATE