@article{10_4064_fm_1997_152_2_1_99_116,
     author = {V. Yu. Shavrukov},
     title = {Interpreting reflexive theories in finitely many axioms},
     journal = {Fundamenta Mathematicae},
     pages = {99--116},
     publisher = {mathdoc},
     volume = {152},
     number = {2},
     year = {1997},
     doi = {10.4064/fm_1997_152_2_1_99_116},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm_1997_152_2_1_99_116/}
}