Statement:
The monadic theory theory \(MT(\omega_1,<)\) of \(\omega_1\) is recursive. \ac{Litman} \cite{1976} and note 85.
Howard_Rubin_Number: 246
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Litman-1976: The monadic theory of \(\omega_1\)
Book references
Note connections:
Note 85
The monadic theory \(MT(\omega_{1},<)\) mentioned
in Form 246 is defined