Interpreting re exive theories in nitely many axioms (1995)

by Shavrukov