Pages that link to "Item:Q3346282"

The following pages link to AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2 (Q3346282):

Displaying 9 items.

• Selection over classes of ordinals expanded by monadic predicates (Q636340) (← links)
• The monadic theory and the ''next world'' (Q1063588) (← links)
• The monadic theory of \((\omega{}_ 2,<)\) may be complicated (Q1190619) (← links)
• Transfer theorems for \(\pi\)-monads (Q1262311) (← links)
• Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties (Q1264142) (← links)
• THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS (Q3328512) (← links)
• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS &lt; ω2 (Q3328514) (← links)
• Zur Axiomatik der Friedmanschen Theorie der Prädikate (Q3677738) (← links)
• (Q3690813) (← links)