Integer parts of real closed fields

From Peano's Parlour
Revision as of 05:53, 20 June 2013 by Rkossak (Talk | contribs)

Jump to: navigation, search

Tennenbaum property

Je\v{z}\'abek and Ko{\l}odziejczyk show <\cite> jezabekkolodziejczyk2013:real <\cite>