<--- Back to Details
First PageDocument Content
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
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

Similar Documents

Mathematics / Set theory / Ordinal numbers / Philosophy of mathematics / Code / Inner model theory / First uncountable ordinal / Logic

Optimal Sequential Delegation∗ Daniel Kr¨ahmer a,† Eugen Kov´aˇc a,b March 3, 2016

DocID: 1qqGp - View Document

Constructible universe / Mathematics / Mathematical analysis / Probability theory / Connection / Curvature / Ordinal number / Topology / First uncountable ordinal

FOUNDATIONS FOR OPTIMAL INATTENTION ANDREW ELLIS (JOB MARKET PAPER) Abstract. This paper models an agent who has a limited capacity to pay attention to information and thus conditions her actions on a coarsening of the a

DocID: 1g8KX - View Document

First uncountable ordinal / Core / Mathematics / Problem solving / Structure / Game theory / Ordinal numbers / General equilibrium theory

Microsoft Word - EDP-1213.docx

DocID: 1aHWN - View Document

Model theory / Functions and mappings / Ordinal numbers / Logic in computer science / Peano axioms / Constructible universe / First-order logic / Function / Well-order / Mathematical logic / Mathematics / Logic

LOGIC AND THE METHODOLOGY OF SCIENCE PRELIMINARY EXAMINATION 1. Prove or disprove: For any uncountable well-ordered set (X, <) there is a countable well-ordered set (Y, <) for which (X, <) ≡ (Y, <). 2. Suppose that L i

DocID: 188VU - View Document

Core / Problem solving / Ordinal number / First uncountable ordinal / Gérard Debreu / Pareto efficiency / Mathematics / Game theory / Economics / General equilibrium theory

Equilibrium Theory under Ambiguity∗ Wei He† Nicholas C. Yannelis‡ and

DocID: 16KUO - View Document