The theory of Archimedean real closed fields in logics with Ramsey quantifiers

DOI10.4064/FM-103-1-65-76zbMATH Open0412.03017OpenAlexW773550831MaRDI QIDQ4198482FDOQ4198482

Authors:

Publication date: 1979

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211045

zbMATH Keywords

decidabilitymodel completenessArchimedian real closed fieldslogics with Ramsey quantifiers

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Logic with extra quantifiers and operators (03C80) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Categoricity and completeness of theories (03C35)

Cited In (1)

• The axiomatics of ordered geometry: I. Ordered incidence spaces

This page was built for publication: The theory of Archimedean real closed fields in logics with Ramsey quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4198482)