Strategy Machines and their Complexity (with addendum) Marcus Gelderie? RWTH Aachen, Lehrstuhl f¨ ur Informatik 7, Logic and Theory of Discrete Systems,

First Page		Document Content
Date: 2012-08-06 10:19:51 Philosophy of mathematics Symbol Suslin representation Large cardinals Numbers Mathematics		Strategy Machines and their Complexity (with addendum) Marcus Gelderie? RWTH Aachen, Lehrstuhl f¨ ur Informatik 7, Logic and Theory of Discrete Systems, Add to Reading List Source URL: www.automata.rwth-aachen.de Download Document from Source Website File Size: 376,95 KB Share Document on Facebook

	Ultraproducts and Large Cardinals: The Early History Dana S. Scott University Professor Emeritus Carnegie Mellon University DocID: 1vo4W - View Document
	Large Cardinals and Determinacy Peter Koellner September 12, 2011 The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis DocID: 1vgbX - View Document
	Independence and Large Cardinals Peter Koellner April 16, 2010 The independence results in arithmetic and set theory led to a proliferation of mathematical systems. One very general way to investigate the space of possib DocID: 1uhx0 - View Document
	Forcings that characterize large cardinals DocID: 1u80K - View Document
	ESI Workshop on Large Cardinals and Descriptive Set Theory Vienna, June 14–27, 2009 Organized by the Erwin Schr¨ odinger Institute (ESI) and financed by the ESI and Austrian DocID: 1tfhr - View Document