Access

You are not currently logged in.

Access JSTOR through your library or other institution:

Journal Article

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
Stable URL: http://www.jstor.org/stable/20015315
Page Count: 7

Select the topics that are inaccurate.

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