Representing Scott sets in algebraic settings

DOI10.1007/S00153-015-0431-1zbMATH Open1408.03030arXiv1407.5612OpenAlexW1971616937MaRDI QIDQ494652FDOQ494652

Authors: Alf Dolich, J. F. Knight, Karen Lange, David Marker 

Publication date: 1 September 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Abstract: We prove that for every Scott set $S$ there are $S$-saturated real closed fields and models of Presburger arithmetic.

Full work available at URL: https://arxiv.org/abs/1407.5612

zbMATH Keywords

real closed fieldPresburger arithmeticScott set

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Model-theoretic algebra (03C60)

Cites Work

• Title not available (Why is that?)
• Model Theory
• Quasi-o-minimal structures
• Real closed fields and models of Peano arithmetic
• Title not available (Why is that?)
• Expansions of models and turing degrees
• Degrees of Recursively Saturated Models
• Models of arithmetic and closed ideals
• A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS

Cited In (3)

• Title not available (Why is that?)
• Scott-suppes representability of semiorders: Internal conditions
• On the value group of a model of Peano arithmetic

This page was built for publication: Representing Scott sets in algebraic settings

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