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

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 1 1985
Externally publishedYes

ASJC Scopus subject areas

  • Mathematics(all)

Cite this