## Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

# Embeddings between the Elementary Ontology with an Atom and the Monadic Second-Order Predicate Logic

Mitio Takano
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
Preview not available

## Abstract

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.

• [247]
• 248
• 249
• 250
• 251
• 252
• 253