桶去微染 发表于 2025-3-23 11:55:25

http://reply.papertrans.cn/67/6679/667899/667899_11.png

colostrum 发表于 2025-3-23 16:46:35

orization, optimal vectorization of multiple statement loops, and synchronization problems with multi-tasking.Detailed Gantt charts are provided to guide the reader through the timing issues. 978-0-387-97089-9978-0-387-34787-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

enmesh 发表于 2025-3-23 19:43:55

http://reply.papertrans.cn/67/6679/667899/667899_13.png

Pastry 发表于 2025-3-24 01:07:28

http://reply.papertrans.cn/67/6679/667899/667899_14.png

SLAY 发表于 2025-3-24 03:10:07

Theories of internal sets,contains many typically nonstandard objects like infinitely large or infinitesimal numbers (see Chapter 2). It will be demonstrated (Theorem 3.1.8) that 〈⌷ ; ∈, st〉 satisfies the axioms of .. a variant of Nelson’s internal set theory ..

BILK 发表于 2025-3-24 10:05:18

http://reply.papertrans.cn/67/6679/667899/667899_16.png

凹室 发表于 2025-3-24 10:54:50

http://reply.papertrans.cn/67/6679/667899/667899_17.png

Prognosis 发表于 2025-3-24 16:48:40

Partially saturated universes and the Power Set problem,provides us with a unique universe | of all internal sets, saturated in a certain maximally possible way, and embedded in the external universe H of all sets. This may appear too boring for a specialist accustomed to deal with peculiar nonstandard models with sometimes hardly achievable properties.

foppish 发表于 2025-3-24 22:19:51

Forcing extensions of the nonstandard universe,m 5.5.8 implies that it is consistent with . that I-infinite internal sets of different I-cardinalities are necessarily non-equinumerous. It would be in the spirit of mathematical foundations to ask whether the negation of this sentence, that is the existence of equinumerous I-infinite internal sets

Vldl379 发表于 2025-3-25 03:12:41

http://reply.papertrans.cn/67/6679/667899/667899_20.png
页: 1 [2] 3 4 5
查看完整版本: Titlebook: Nonstandard Analysis, Axiomatically; Vladimir Kanovei,Michael Reeken Book 2004 Springer-Verlag Berlin Heidelberg 2004 Nonstandard.ZFC.calc