Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain Vladimir A. Smirnov OriginalPaper Pages: 1 - 15
Definability and Quantifier Elimination for J 3-theories Ítala M. L. D'Ottaviano OriginalPaper Pages: 37 - 54
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Bulletin no. 11 Risto Hilpinen Report Pages: 111 - 112