阻挠
发表于 2025-3-30 11:44:51
http://reply.papertrans.cn/83/8294/829337/829337_51.png
Aids209
发表于 2025-3-30 14:14:42
Unifying Constructive and Nonstandard Analysis, about the model, countable saturation and a characterization of internal functions, are established. It is shown that the model supports the construction of Loeb measure, and a weak principle of omniscience (LLPO). For so called internal statements there is a transfer principle to the constructive
Thyroxine
发表于 2025-3-30 17:42:09
Positive Lattices, for a similar positive theory of partial order and lattices, one basic relation is sufficient. The treatment is elementary throughout and uses only free parameters and constructions. In lattice theory, the partial order relation can be characterized through algebraic equalities for lattices. A cons
SOB
发表于 2025-3-30 22:54:01
On Conway Numbers and Generalized Real Numbers,ery ordinal number. Using the logical law of excluded middle (LEM) he equips this class with the structure of a totally ordered field. This paper is a first step to investigate the contribution of Conway’s theory to the foundations of Constructive Nonstandard Analysis. In his book Conway suggests de
faddish
发表于 2025-3-31 02:08:41
http://reply.papertrans.cn/83/8294/829337/829337_55.png
玛瑙
发表于 2025-3-31 05:55:14
http://reply.papertrans.cn/83/8294/829337/829337_56.png
Somber
发表于 2025-3-31 10:33:59
schaffen muß), als Sprach-, als Spiel- oder Handlungswesen, als „Neinsagenkönner“., „Gottsucher“ oder als toolmaking animal., als Arbeitswesen und Homo Creator — als Glückswesen wurde er selten definiert, wenngleich durchgängig wenigstens als ein des Glückes fähiges. Glück und Unglück wären also Be