Архимедтік емес уақыт - Non-Archimedean time

A архимедтік емес уақыт теориясы уақыт болашақта шексіз немесе өткенде шексіз инстанциялар бар деген кез-келген теория. Ол мұндай деп аталады, өйткені егер мұндай уақыттың инстанцияларына сандар берілсе, онда мұндай сандардың жиынтығы болуы керек архимед емес.

Архимедтік емес болашақ уақыт келеді әкеп соқтырады болашақ сәттің болуы Т, кез келген ақырлы мерзімге арналған ж бір сәт бар Қазір + ж бірақ аз Т. Егер мұндай болашақ сәт болса Т Егер бар болса, онда барлық ақырғы сәттер үшін шексіздік болады у ' , Т − у ' әр сәттен кейін болар еді Қазір + ж қайда ж ақырлы ұзақтығы. Сол сияқты, архимедиялық емес өткен күн туралы ойлауға болады.

Архимед емес уақытты жекеше, көбейетін және шексіз деп бөлуге болады. Архимедтік емес уақытта біз бір сәтті таңдай аламыз (ерікті болса да) Т болашақта шексіз (және / немесе өткенде, mutatis mutandis ), болашақтағы (өткендегі) кез-келген басқа сәтте болашақта немесе өткенде шексіз болатындай Т. Архимедтен тыс уақытта моменттердің ақырғы жиыны болады S (мұнда кардинал S әрқайсысының мүшесі болатындай екіден үлкен) S, Т, кез келген басқа элементтерінің болашағында немесе өткенінде шексіз S, және болашақта шексіз сәттер бар Т, және элементі болып табылмайтын әр сәтте S бір элементінің болашағында немесе өткенінде болады S, және басқа элементтердің болашағында немесе өткенінде шексіз S. Ақырында, шексіз архимедтік уақыт ішінде мұндай шектеулі жиынтық жоқ S, бірақ шексіз жиынтық бар S, mutatis mutandis.