Type (model theory): Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

29 July 2014

16 August 2013

  • curprev 07:1207:12, 16 August 2013 en>Trovatore 13,266 bytes +13,266 move the idea to the first sentence -- maybe that addresses some of the objection. My formulation is open to criticism; model theory was never my specialty

15 February 2012

Retrieved from "https://en.formulasearchengine.com/wiki/Type_(model_theory)"