TY  - JOUR
AU  - V. Yu. Shavrukov
TI  - Interpreting reflexive theories in finitely many axioms
JO  - Fundamenta Mathematicae
PY  - 1997
SP  - 99
EP  - 116
VL  - 152
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm_1997_152_2_1_99_116/
DO  - 10.4064/fm_1997_152_2_1_99_116
LA  - en
ID  - 10_4064_fm_1997_152_2_1_99_116
ER  -