Kiel registrite je 16:52, 6 dec. 2010 redakti Marcos (diskuto \| kontribuoj) Patrolantoj 11 811 redaktoj Neniu resumo de redakto ← Iru al antaŭa ŝanĝo		Kiel registrite je 16:54, 6 dec. 2010 redakti malfari Marcos (diskuto \| kontribuoj) Patrolantoj 11 811 redaktoj →‎Ecoj de la aro Iru al sekvanta ŝanĝo →
Linio 60: La [[aro]] de hiperreeloj *'''R''' estas [[ordigita korpo\|ordigita]] [[korpo (matematiko)\|korpo]], kiu enhavas [[reelo]]jn kiel subkorpo. Malsimile al reeloj, la hiperreeloj ne havas difineblan [[metrika spaco\|metrikan spacon]], sed, pro sia ordigiteco, havas ordan [[topologio]]n. La uzo de vorteto ''la'' kiam ni parolas pri "la (aro de) hiperreeloj" estas ne tute ĝusta, ĉar ne estas iu evidentaĵo, ke la korpo de hiperreeloj estas unika. Tamen, en la verko de [[2003]] ~~far~~fare de [[Vladimir Kanovei]] kaj [[Saharon Shelah]]<ref name=kanovei2003>{{Citation \| last1=Kanovei\|first1=Vladimir\| last2=Shelah\|first2=Saharon\| title=[http://shelah.logic.at/files/825.pdf A definable nonstandard model of the reals]\| journal=Journal of Symbolic Logic\|volume=69\|year=2004\| pages=159–164}}</ref> ~~montras~~pruvas, ke ekzistas ~~definebla~~difinebla, [[ω-sata]] [[rudimenta enigo]] de reeloj, kiu, do, povas esti ''la'' aro de hiperreeloj. La kondiĉoj por agnoski iun korpon hiperreela estas pli rigoraj ol por [[reela fermita korpo]], kiu enhavu na '''R'''. Ĝi estas ankaŭ pli rigora ol por [[superreela korpo]], kiun difinis [[William Hugh Woodin\|W.H.Woodin]] kaj H.G.Dales<ref>{{Citation \| last1=Woodin \| first1=W. H. \| last2=Dales \| first2=H. G. \| title=Super-real fields: totally ordered fields with additional structure \| publisher=Clarendon Press \| location=Oxford \| isbn=978-0-19-853991-9 \| year=1996}}</ref>

Hiperreela nombro: Malsamoj inter versioj