You are not currently logged in.
Access JSTOR through your library or other institution:
Embeddings between the Elementary Ontology with an Atom and the Monadic Second-Order Predicate Logic
Studia Logica: An International Journal for Symbolic Logic
Vol. 46, No. 3 (1987), pp. 247-253
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015315
Page Count: 7
You can always find the topics here!Topics: Atoms, Predicate logic, Induction assumption, Logical theorems, Rules of inference, Mathematical theorems
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
Let EOA be the elementary ontology augmented by an additional axiom ∃$S(S\epsilon S)$, and let LS be the monadic second-order predicate logic. We show that the mapping φ which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of LS into EOA.
Studia Logica: An International Journal for Symbolic Logic © 1987 Springer