|
This article is cited in 2 scientific papers (total in 2 papers)
The $\Pi^1_2$ consequences of a theory
J. P. Aguileraab, F. Pakhomovbc a Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Wiedner Hauptstrasse 8–10, 1040 Vienna, Austria
b Department of Mathematics, University of Ghent, Krijgslaan 281-S8, B9000 Ghent, Belgium
c Steklov Mathematical Institute of the Russian Academy of Sciences,
Ulitsa Gubkina 8, Moscow 119991, Russia
Linking options:
https://www.mathnet.ru/eng/jlms7
|
|