Hans-Peter Tuschik

The expressive power of Malitz quantifiers for linear orderings

Hans-Peter Tuschik, 1987, Ann. Pure Appl. Log..

An Application of Rank-Forcing to ω1-Categoricity

Hans-Peter Tuschik, 1980, Math. Log. Q..

An Axiomatization of the Logic with the Rough Quantifier

Hans-Peter Tuschik, Michal Krynicki, 1991, J. Symb. Log..

Elimination of Cardinality Quantifiers

Hans-Peter Tuschik, 1982, Math. Log. Q..