Jump to content

Omega-logic

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Andrewman327 (talk | contribs) at 06:45, 20 December 2012 (cleaning up articles using AWB (8759)). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In mathematics, ω-logic can refer to:

  • ω-logic, an infinitary extension of first-order logic
  • Ω-logic, a deductive system in set theory developed by Hugh Woodin