Completeness of two theories on ordered abelian groups and embedding relations

DOI10.1017/S0027763000018638zbMath0404.03014OpenAlexW1528836898MaRDI QIDQ4189256

Yuichi Komori

Publication date: 1980

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0027763000018638

zbMATH Keywords

DecidabilityCompletenessModel TheoryFirOrdered Abelian Groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35) Metamathematical considerations in group theory (20A10)

Related Items (5)

An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Ordered groups ⋮ Super-Łukasiewicz propositional logics ⋮ Model-theoretic and algorithmic questions in group theory

This page was built for publication: Completeness of two theories on ordered abelian groups and embedding relations