Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-24T00:06:05.637Z Has data issue: false hasContentIssue false
  • English
  • Français

Completeness of two theories on ordered abelian groups and embedding relations

Published online by Cambridge University Press:  22 January 2016

Yuichi Komori
Yuichi Komori*
Affiliation:
Shizuoka University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The first order language ℒ that we consider has two nullary function symbols 0, 1, a unary function symbol –, a binary function symbol +, a unary relation symbol 0 <, and the binary relation symbol = (equality). Let ℒ′ be the language obtained from ℒ, by adding, for each integer n > 0, the unary relation symbol n| (read “n divides”).

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 77 , February 1980 , pp. 33 - 39
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1980

References

[1] Komori, Y., Super-Łukasiewics propositional logics, to appear.Google Scholar
[2] Kreisel, G. and Krivine, J. L., Elements of Mathematical Logic, North-Holland, Amsterdam, 1967.Google Scholar