The following pages link to Dirk Siefkes (Q1207952):
Displayed 17 items.
- Using inductive counting to simulate nondeterministic computation (Q1207953) (← links)
- The monadic second order theory of all countable ordinals (Q1214411) (← links)
- An axiom system for the weak monadic second order theory of two successors (Q1253650) (← links)
- Büchi's monadic second order successor arithmetic. (Q1254240) (← links)
- (Q3219105) (← links)
- THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS (Q3328512) (← links)
- (Q3774983) (← links)
- (Q3880807) (← links)
- (Q3944007) (← links)
- (Q3975148) (← links)
- (Q3976031) (← links)
- (Q3996610) (← links)
- (Q4023457) (← links)
- The recursive sets in certain monadic second order fragments of arithmetic (Q4088807) (← links)
- (Q4145307) (← links)
- (Q5579490) (← links)
- (Q5614656) (← links)