<--- Back to Details
First PageDocument Content
Mathematics / Mathematical analysis / Algebra / Algebraic topology / Sheaf / Model theory / Measure theory / Functional analysis / Representation theory / Morphism of algebraic varieties / Lifting theory
Date: 2003-12-22 16:28:30
Mathematics
Mathematical analysis
Algebra
Algebraic topology
Sheaf
Model theory
Measure theory
Functional analysis
Representation theory
Morphism of algebraic varieties
Lifting theory

217 Documenta Math. Stable Maps of Curves Robert F. Coleman

Add to Reading List

Source URL: www.math.uiuc.edu

Download Document from Source Website

File Size: 110,96 KB

Share Document on Facebook

Similar Documents

Linear temporal logic / Temporal logic / Symbol / Stochastic game / Mathematical optimization / Markov decision process / Markov chain / Probability

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

DocID: 1xVM0 - View Document

Geometry / Algebra / Abstract algebra / Algebraic geometry / Chenyang Xu / Minimal model program / Fano variety / Canonical singularity / Birational geometry / Projective variety / Resolution of singularities / Canonical bundle

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)

DocID: 1xVHX - View Document

Model theory / Mathematics / Mathematical logic / Metalogic / Non-standard analysis / Ultraproduct / Maryanthe Malliaris / Ultrafilter / Saturated model / O-minimal theory / Type / Finite set

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–98) MODEL THEORY AND ULTRAPRODUCTS Maryanthe Malliaris

DocID: 1xTmh - View Document

Logic / Mathematical logic / Theoretical computer science / Model theory / Logic in computer science / Logical truth / Philosophy of logic / Satisfiability / Convex function / Universal quantification / Boolean satisfiability problem

Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research

DocID: 1xTeO - View Document

factor prices in general equilibrium factor prices in general equilibrium 1 Introduction At first glance, the Walrasian general equilibrium model does not offer a theory of factor prices. Factors are goods

DocID: 1vrRG - View Document