vascular
发表于 2025-3-28 17:46:36
On Conway Numbers and Generalized Real Numbers,fining real numbers as (Conway) cuts in the set of rational numbers. Following his ideas, a constructive notion of real numbers will be developed. Parallels to and differences from the concept of generalized real numbers recently published by Fred Richman will be outlined.
HACK
发表于 2025-3-28 22:13:07
http://reply.papertrans.cn/83/8294/829337/829337_42.png
connoisseur
发表于 2025-3-29 02:38:03
The Points of (Locally) Compact Regular Formal Topologies,gh proved by intuitionistic logic, the result relies on a notion of maximality which contains an impredicative second-order quantification. In this note we present an alternative concept of maximality, entirely phrased in first-order terms, and give a predicative characterization of the points of a
破布
发表于 2025-3-29 04:29:06
http://reply.papertrans.cn/83/8294/829337/829337_44.png
prediabetes
发表于 2025-3-29 08:34:04
http://reply.papertrans.cn/83/8294/829337/829337_45.png
使尴尬
发表于 2025-3-29 13:40:30
http://reply.papertrans.cn/83/8294/829337/829337_46.png
incisive
发表于 2025-3-29 19:35:03
http://reply.papertrans.cn/83/8294/829337/829337_47.png
annexation
发表于 2025-3-29 21:21:23
http://reply.papertrans.cn/83/8294/829337/829337_48.png
Cabinet
发表于 2025-3-30 02:17:47
,Curt Schmieden’s Approach to Infinitesimals, true for almost all finite natural n. In a paper of 1958 we used rational (and laterreal) sequences to establish a model in which Si was represented by the sequence of the finite natural numbers. Clearly, this approach was less powerful with respect to new applications than Robinson’s (1961) was. Y
形容词
发表于 2025-3-30 05:45:35
A Sequent Calculus for Constructive Ordered Fields, extended with nonlogical rules. It is proved that structural rules, the rules of cut and contraction in particular, can be eliminated from derivations. The method of extension by nonlogical rules is applied also to the theory of real closed fileds, starting from a quantifier-free axiomatization.