PDF Document

Source URL: www.ma.huji.ac.il

• Model theory
• Mathematical structures
• Mathematical logic
• Complexity classes
• Computability theory
• Equivalence relation
• Structure
• FO
• Metric space
• Arithmetical hierarchy
• Definable set
• Mutation

Structures Cell Decomposition Dimension and Euler Characteristic Definable Families and Collections Adding more Structure Tame Topology and O-Minimal Structures University of Illinois Urbana-Champaign

Source URL: www.math.uiuc.edu

• Model theory
• Algebraic topology
• Real algebraic geometry
• Mathematical structures
• Mathematical logic
• O-minimal theory
• Euler characteristic
• Definable set
• CW complex
• Topology
• Structure
• Semialgebraic set

On First-Order Definable Colorings J. Neˇsetˇril1 Department of Applied Mathematics and Institute of Theoretical Computer Science (ITI) Charles University Malostransk´e n´

Source URL: iti.mff.cuni.cz

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN

Source URL: library.msri.org

• Abstract algebra
• O-minimal theory
• Strongly minimal theory
• Definable set
• Structure
• Differentially closed field
• Real closed field
• Quantifier elimination
• Set theory
• Model theory
• Mathematical logic
• Mathematics

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Notes on o-Minimality and Variations DUGALD MACPHERSON

Source URL: library.msri.org

• Algebra
• O-minimal theory
• Strongly minimal theory
• Definable set
• Morley rank
• Uniform space
• Vector space
• Structure
• Imaginary element
• Model theory
• Mathematics
• Mathematical logic

Lecture 4: Is that Really Revising Logic? König’s paradox (and Berry’s variant). Let L be any language whose formulas are finite strings of finitely many basic symbols. Then (K1)

Source URL: www.philosophy.ox.ac.uk

• Set theory
• Berry paradox
• Constructible universe
• Ordinal numbers
• Computability theory
• Definable real number
• Proof theory
• Ordinal definable set
• Mathematical logic
• Mathematics
• Philosophy of mathematics

Definable and negligible subsets of free groups (in honor of Karen Vogtmann’s 60th birthday) joint with Mladen Bestvina Luminy, June 23, 2010

Source URL: andromeda.rutgers.edu

• Negligible set
• Algebra
• Abelian group
• Finite set
• Geometric group theory
• Abstract algebra
• Mathematics
• Mathematical analysis

NOTES ON O-MINIMALITY SERGEI STARCHENKO 1 C ONTENTS

Source URL: www.fields.utoronto.ca

• O-minimal theory
• Definable set
• Strongly minimal theory
• Structure
• Continuous function
• Function
• Open set
• Weakly o-minimal structure
• Definable real number
• Mathematics
• Model theory
• Mathematical logic

Postdoctoral Position in the Philosophy of Set Theory The Hyperuniverse: Laboratory of the Infinite The KGRC (Kurt Goedel Research Center, University of Vienna) will serve as host for the Hyperuniverse Project, an invest

Source URL: www.logic.univie.ac.at

• Inner model theory
• Large cardinals
• Axioms of set theory
• Ordinal definable set
• Zermelo–Fraenkel set theory
• Von Neumann universe
• Absoluteness
• Reflection principle
• Core model
• Mathematical logic
• Set theory
• Mathematics

ON THE NUMBER OF TOPOLOGICAL TYPES OCCURRING IN A PARAMETRIZED FAMILY OF ARRANGEMENTS SAUGATA BASU Abstract. Let S(R) be an o-minimal structure over R, T ⊂ Rk1 +k2 +` a closed definable set, and π1 : Rk1 +k2 +` → Rk

Source URL: www.math.purdue.edu

• Homotopy
• CW complex
• Degree of a continuous mapping
• Homeomorphism
• Homotopy group
• Homotopy lifting property
• Topology
• Homotopy theory
• Algebraic topology