Integer parts of real closed fields

From Peano's Parlour
Revision as of 06:47, 20 June 2013 by Rkossak (Talk | contribs) (Created page with " == Tennenbaum property == Je\v{z}\'abek and Ko{\l}odziejczyk show")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Tennenbaum property

Je\v{z}\'abek and Ko{\l}odziejczyk show