Integer parts of real closed fields

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

Jump to: navigation, search

Tennenbaum property

Je\v{z}\'abek and Ko{\l}odziejczyk show [1, 2, 3, 4]