Difference between revisions of "Integer parts of real closed fields"
From Peano's Parlour
(Created page with " == Tennenbaum property == Je\v{z}\'abek and Ko{\l}odziejczyk show") |
|||
| Line 1: | Line 1: | ||
| − | |||
== Tennenbaum property == | == Tennenbaum property == | ||
| − | Je\v{z}\'abek and Ko{\l}odziejczyk show | + | Je\v{z}\'abek and Ko{\l}odziejczyk show <\cite> jezabekkolodziejczyk2013:real <\cite> |
Revision as of 05:53, 20 June 2013
Tennenbaum property
Je\v{z}\'abek and Ko{\l}odziejczyk show <\cite> jezabekkolodziejczyk2013:real <\cite>
