nLab
infinitary logic

An infinitary logic is first time introduced in

  • Ernst Zermelo, Ueber Stufen der Qualifikation und die Logik des Unenflichen, Jahresbericht der Deutschen Mathematiker-Vereinigung 41/42 (1931), pp. 568–570.

Other early works include Novikov and

  • D. A. Bochvar, Ueber einen Aussagen kalk“ul mit abzaehlbaren logicshen Summen und Produkten, Mathematičeskii Sbornik 17 (1940), pp 65–100

The infinitary logic has been recently studied extensively by Saharon Shelah and in categorical logic by Mihaly Makkai.

  • Rami Grossberg, Classification theory for abstract elementary classes. Logic and Algebra, ed. Yi Zhang, Contemporary Mathematics, Vol 302, AMS, (2002), pp. 165–204, pdf
  • Rami Grossberg, Saharon Shelah, On the number of non isomorphic models of an infinitary theory which has the order property, Part A, Journal of Symbolic Logic, 51, (1986) 302–322, jstor pdf
Created on August 4, 2012 14:02:10 by Zoran Škoda (95.168.113.34)