The following pages link to Hans-Peter Tuschik (Q1105585):
Displaying 21 items.
- The expressive power of Malitz quantifiers for linear orderings (Q1105586) (← links)
- (Q2782580) (← links)
- (Q3310593) (← links)
- (Q3337466) (← links)
- Undecidable Theories in Stationary Logic (Q3661542) (← links)
- ω-Trees in stationary logic (Q3691646) (← links)
- (Q3760527) (← links)
- (Q3856745) (← links)
- (Q3856746) (← links)
- (Q3856758) (← links)
- (Q3869328) (← links)
- (Q3884080) (← links)
- An Application of Rank‐Forcing to ω<sub>1</sub>‐Categoricity (Q3905260) (← links)
- A Two Cardinal Theorem for Homogeneous Sets and the Elimination of Malitz Quantifiers (Q3944583) (← links)
- Elimination of Cardinality Quantifiers (Q3956923) (← links)
- An axiomatization of the logic with the rough quantifier (Q3984432) (← links)
- On the decidability of the theory of linear orderings with generalized quantifiers (Q4135491) (← links)
- (Q4140970) (← links)
- (Q4145684) (← links)
- (Q4422745) (← links)
- (Q5668475) (← links)