4 Matching Annotations
  1. Dec 2021
  2. mileti.math.grinnell.edu mileti.math.grinnell.edu
    MathematicalLogic.pdf
    2
    1. SpiralSource 12 Dec 2021
      formal language

      formal ontology; ordinary language semantics

    2. SpiralSource 12 Dec 2021

      deduction v. proof

    Visit annotations in context

    Annotators

    URL

    mileti.math.grinnell.edu/MathematicalLogic.pdf
  3. Local file Local file
    arXiv:math/0004017v1 [math.AG] 4 Apr 2000
    2
    1. SpiralSource 01 Dec 2021
      rationalcontractions

      morphisms + small modifications (rational maps that are isomorphic in co-d1)

      terminology
    2. SpiralSource 01 Dec 2021

      Projective Variety X Goal: understand the collection of all morphisms (with connected fibers)

      1. Decompose each map into simple steps
      2. Parameterize possibilities for: a. maps b. factorization of each map

    Tags

    Annotators