追踪
发表于 2025-3-23 13:18:59
http://reply.papertrans.cn/63/6234/623398/623398_11.png
群居男女
发表于 2025-3-23 16:54:06
Gal Gross,Eckhard Meinrenkeno Nuprl in order to prove a version of Brouwer’s continuity principle, as well as choice sequences in order to prove truncated versions of the axiom of choice and of Brouwer’s bar induction principle. This paper illustrate the process of extending Nuprl with versions of the axiom of choice.
灵敏
发表于 2025-3-23 21:10:25
http://reply.papertrans.cn/63/6234/623398/623398_13.png
新星
发表于 2025-3-24 01:26:52
http://reply.papertrans.cn/63/6234/623398/623398_14.png
懦夫
发表于 2025-3-24 04:21:54
http://reply.papertrans.cn/63/6234/623398/623398_15.png
Ringworm
发表于 2025-3-24 07:50:01
http://reply.papertrans.cn/63/6234/623398/623398_16.png
cinder
发表于 2025-3-24 12:23:53
Manifolds,One of the goals of this book is to develop the theory of manifolds in intrinsic terms, although we may occasionally use immersions or embeddings into Euclidean space in order to illustrate concepts. In physics terminology, we will formulate the theory of manifolds in terms that are “manifestly coordinate-free.”
黄油没有
发表于 2025-3-24 18:28:26
Smooth Maps,A real-valued function on an open subset . is called . . ∈ . if it is infinitely differentiable on an open neighborhood of .. It is called . . if it is smooth at all points of .. The notion of smooth functions on open subsets of Euclidean spaces carries over to manifolds: A function is smooth if its expression in local coordinates is smooth.
resistant
发表于 2025-3-24 21:04:50
Submanifolds,Let . be a manifold of dimension .. We will define a .-dimensional submanifold . ⊆ . to be a subset that looks locally like ., regarded as the coordinate subspace defined by .. = ⋯ = .. = 0.
变形词
发表于 2025-3-25 03:12:59
Vector Fields,A vector field on a manifold may be regarded as a family of tangent vectors .. ∈ ... for . ∈ ., depending smoothly on the base points . ∈ .. One way of making precise what is meant by “depending smoothly” is the following.