Reverse Mathematics and Π1 2 Comprehension

First Page		Document Content
Date: 2010-01-12 23:03:21 Separable space Second-countable space Metric space Filter Complete metric space Baire space Compact space Locally compact space First uncountable ordinal Topology General topology Metrization theorem		Reverse Mathematics and Π1 2 Comprehension Add to Reading List Source URL: www.ims.nus.edu.sg Download Document from Source Website File Size: 73,99 KB Share Document on Facebook

	Formal Baire space in constructive set theory Giovanni Curi and Michael Rathjen∗ Dipartimento di Matematica, Universit`a di Padova Via Trieste, Padova, Italy (G. Curi). Department of Pure M DocID: 1mHHB - View Document
	CONSISTENCY OF A STRONG UNIFORMIZATION PRINCIPLE PAUL LARSON AND SAHARON SHELAH Abstract. We prove the consistency of a strong uniformization principle for a subset of the Baire space of cardinality ℵ1 . As a consequen DocID: 1gHXX - View Document
	Problem 50 (Banach). Prove that the integral of Denjoy is not a Baire functional in the space S (that is to say, in the space of measurable functions). Commentary The formulation of this problem is rather vague. However DocID: 1gDAP - View Document
	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 DocID: 1fwpH - View Document
	Topics in Analysis Examples Sheet 4 W. T. G. 1. (i) For each n let Fn be the nth Fibonacci number, with F1 = F2 = 1. Prove the 2 DocID: 19mp5 - View Document