Keywords

#ω-logic

Ω-logic

In set theory, Ω-logic is an infinitary logic and deductive system proposed by W. Hugh Woodin as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure . Just as the axiom of projective determinacy yields a canonical theory of , he sought to find axioms that would give a canonical theory for the larger structure. The theory he developed involves a controversial argument that the continuum hypothesis is false.

Thu 19th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Ω-logic Ω-consistent theory Infinitary logic Linear temporal logic Current-mode logic Contraposition Subjective logic Omega Omega-logic Higher-order logic
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.