The field of reals with a predicate for the powers of two

Lou van den Dries

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (US)
Pages (from-to)187-195
Number of pages9
JournalManuscripta Mathematica
Volume54
Issue number1-2
DOIs
StatePublished - Mar 1985
Externally publishedYes

ASJC Scopus subject areas

  • General Mathematics

Cite this