Characterizations of Pretameness Regula Krapf joint work with Peter Holy and Philipp Schlicht University of Bonn December 8, 2015

First Page		Document Content
Date: 2015-12-08 06:01:31 Mathematics Mathematical logic Logic Z notation ZermeloFraenkel set theory Forcing Model theory Constructible universe		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 Download Document from Source Website File Size: 461,41 KB Share Document on Facebook

	Characterizations of Pretameness Regula Krapf joint work with Peter Holy and Philipp Schlicht University of Bonn December 8, 2015 DocID: 1rc1G - View Document
	Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC DocID: 1qsyF - View Document
	Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability I DocID: 1qmQn - View Document
	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 DocID: 1obzs - View Document
	A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson DocID: 1o4E0 - View Document