Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures.

Detlef Seese

Browse the full FCT paper archive.