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

Source URL: www1.maths.leeds.ac.uk

Curvatures of typical convex bodies—the complete picture Rolf Schneider Abstract It is known that a typical n-dimensional convex body, in the Baire category sense, has the property that its set of umbilics of zero curv

Source URL: home.mathematik.uni-freiburg.de

A theorem of Todorcevic on universal Baireness Paul B. Larson∗ December 14, 2005 Abstract Given a cardinal κ, a set A ⊂ ω ω is κ-universally Baire if there exist

Source URL: www.users.miamioh.edu

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Mathematical logic
• General topology
• Functional analysis
• Computable number
• Computable function
• Continuous function
• Baire space
• Topological space
• Computability theory
• Mathematics
• Topology

Polish spaces and Baire spaces Jordan Bell Department of Mathematics, University of Toronto June 27, 2014

Source URL: individual.utoronto.ca

• Gδ set
• Metrization theorem
• Topological property
• Polish space
• Complete metric space
• Metric space
• Separable space
• Second-countable space
• Baire category theorem
• Topology
• General topology
• Baire space

Real Analysis Exchange Summer Symposium 2009, pp. 6–13 Udayan B. Darji, Department of Mathematics, University of Louisville, Louisville, Kentucky 40292, U.S.A. email: [removed]

Source URL: www.stolaf.edu

• Mathematical analysis
• Descriptive set theory
• Functional analysis
• Meagre set
• Semi-continuity
• Metric space
• Continuous function
• Baire category theorem
• Compact space
• Topology
• Mathematics
• General topology

The Baire Category Theorem BJG May 2009 The theorem. The Baire Category theorem is a very innocent-looking statement which is, furthermore, not too hard to prove. It can, however, be used to obtain some

Source URL: people.maths.ox.ac.uk

• General topology
• Functional analysis
• Differential calculus
• Functions and mappings
• Continuous function
• Baire space
• Metric space
• Meagre set
• Differentiable function
• Mathematical analysis
• Mathematics
• Topology

INTRODUCTION TO MANIFOLDS — I Definitions and examples 1. Topologic spaces ♥ Definition. A topological space M is an abstract point set with explicit

Source URL: www.wisdom.weizmann.ac.il

• Topological manifold
• Diffeomorphism
• Differentiable manifold
• Manifold
• Baire space
• Topological space
• Connected space
• Space
• Sheaf
• Topology
• Mathematics
• General topology

Commum math. Phys. 11, [removed]The Classical Mechanics of One-Dimensional Systems of Infinitely Many Particles II. Kinetic Theory 0 . E. LANFORD I I I *

Source URL: www.math.harvard.edu

• General topology
• Measure
• Borel set
• Baire set
• Invariant measure
• Borel functional calculus
• Itō diffusion
• Mathematical analysis
• Measure theory
• Dynamical systems

Natural Topology Frank Waaldijk ú

Source URL: www.fwaaldijk.nl

• Mathematical structures
• Baire space
• Metrization theorem
• Open set
• Metric space
• Topological space
• Sheaf
• Continuous function
• Compact space
• Topology
• Mathematics
• General topology