Wikipedia
Omega-logic
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