Michael Deutsch. Ein neuer Beweis und eine Verschärfung für den Reduktionstyp ∀∃∀∞(0, 1) mit einer Anwendung auf die spektrale Darstellung von Prädikaten. Math. Log. Q., 38(1):559-574, 1992. [doi]
@article{Deutsch92-0, title = {Ein neuer Beweis und eine Verschärfung für den Reduktionstyp ∀∃∀∞(0, 1) mit einer Anwendung auf die spektrale Darstellung von Prädikaten}, author = {Michael Deutsch}, year = {1992}, doi = {10.1002/malq.19920380153}, url = {http://dx.doi.org/10.1002/malq.19920380153}, researchr = {https://researchr.org/publication/Deutsch92-0}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {38}, number = {1}, pages = {559-574}, }