|
 |
Авторизация |
|
 |
Поиск по указателям |
|
 |
|
 |
|
 |
 |
|
 |
|
Alling N.L. — Foundations of Analysis over Surreal Number Fields |
|
 |
Предметный указатель |
(= the set of all "old" numbers, born before day ) 4.01
4.51 4.53
(= set of all Conway cuts in ) 14.61
(= set of all Cuesta Dutari cuts in ) 4.01 4.02
(= the simplest Dedekind-completion of ) 5.50
(= extended value class) 1.62
(= Hausdorff's normal -type) 5.10
7.11
6.56 7.11
(= the maximal ideal in a valuation ring of ) 7.11
(= the set of all "made" numbers, born on or before day ) 4.01
(= the set of all "new" numbers, born on day a) 4.01
(= a valuation ring of ) 7.11
(= the rank of ) 5.40
(= the support of ) 1.63 6.20
(= the support of a vector ) 7.41
5.51
(= U extended to Y) 8.00
(= the ctth approximation to x) 4.50
(= the convex subgroup generated by ) 7.21
(= commensurate) 1.61 4.30 4.40
(= equipotent) 1.03
-term 6.50
th approximation, 50
(= -additive closure operator) 2.02
(= Kuratowski closure of ) 2.02
(= Cuesta Dutari completion of ) 11.02
(= empty set) 1.00
-character (= true -character) 1.1(0
-class 1.10
-field, 0 3
(= subsemi-group generated by a subset S of ) 7.20 7.21
(= first infinite ordinal) 1.02
-power series 6.43
(= Conway's exponential in No) 4.40
(= ath infinite initial ordinal) 1.03
(= next larger initial ordinal number) 1.03
-additive spaces 2.02
-closure operator 2.02
7.60
and (= projection homomorphisms) 1.65
5.51
1.10
(= a map form No to its sign expansions in ) 4.50
(= class of all sign expansions) 4.50
(= the identity element of a formal power series field) 6.20
(= order equivalent) 1.01
-transitive 1.02
--analytic 8.00
(= the -topology generated by a base B) 2.01
- (= a surcomplex number field) 7.10
--closed subclasses of 3.20
-closed 2.01
-compact 2.01 2.30
-components 2.01
-connected (spaces) 2.01 2.20
-continuous (mapping) 2.01
-disconnected (spaces) 2.20
-homeomorphism 2.01
-interior (of a set) 2.13
-open subclass 2.01 2.10
-open subclasses of 3.20
-path 3 — 30
-path connected 3.30
-pseudo complete (fields) 6.41
-topology 2.01
-topology generated (by a base B) 2.01
-topology on 3.20
Ч.ОЗ 4.60
4.03 4.60
4.04
11.00 11.01 11.02. 11.60
(= absolute value in an ordered group) 1.60
(= analytic norm in a aurcomplex field) 7.10
(= cardinal number or power) 1.03
(= norm in ) 3.00
(0) (= order axiom) 4.60
(E) (eta axiom)
(F) (= fullness axiom) �
(FE) (= full eta axiom) 4.60
(IN) (= axiom: there is a strongly inaccessible cardinal number i) 1.00
(SD) (= simple density axiom) 4.60
(В) (= birth-order axiom) 4.60
<< 1.60 4.40
A* (= set of non — zero elements of a ring A)
AC (axiom of choice) 1.00
Addition (in No) 4.05
Addition theorem (for binomial coefficients) 7.33
Additive subgroup ( of a ring or a field ) 1.60
Affine line 3.10
Affine n space 3.00
Analytic at a point 8.00
Analytic norm 7.10
Analytic on U 8.00
Archimedean (ordered group, ring or field)) 1.60
Archimedean complete 1.63
Archimedean extension 1.63
Archimedean ordered group 1.60
Arcsine (over certain formal power series fields) 7.50
Arctangent (over certain formal power series fields) 7.50
Artin — Schreier theory 1.71
Associative law for multiplication (in No) 4.08
b (= birthday map) 4.01 4.02. f.60
Ball about a point of radius greater than g 7.62
Binomial coefficients 7.32
Binomial coefficients (generalized) 7.93
Binomial series 7.33
Birth-order axiom 4.60
Birth-order function 11.01 11.02 11.03 4.60
Birthday 11.01 1402
Born on day 0 4.00
Breadth (of a pseudo-convergent sequence) 1.62 6.40
Canonical (nature of power series structure on No) 6.57
Cantor's normal form 4.04 6.43
Cardinal (number, = power) 1.03
Change sign (a polynomial) 1.72
Class of surreal numbers (No) 11.03
Class of surreal numbers of height 11.03
Class theory 1.00
Closed class (in the interval topology) 1.10
Closed semi-algebraic set 3.00
Closed, semi-algebraic set 3.00
Closure operator 2.02
Cofinal (subclass in an ordered class) 1.30
Coinitial (subclass in an ordered class) 1.30
Commensurate (elements in an ordered group, ) 4.40
Common predecessor 52
Compact ordered spaces 1.50
Complete (= Dedekind-complete) 1.20
Complete ordered groups 1.66
Conjugate (roots) 1.72
Connected 1.20
Continue to change sign (in ) 5.51
Convex (subgroup) 1.60
Convex (subspace) 3.30
Conway cut represents, ^ 2
Conway cuts 1.20
Conway's Normal Form 6.50
Conway's Simplicity Theorem, ^ 2 ^.03 ^.60
Cosecant (over certain formal power series fields) 7.50
Cosine (= extended cosine function over ) 7.51
Cosine (over certain formal power series fields) 7.50
Critical point 1.74
Cuesta Dutari completion (= 4.02
Cuesta Dutari cut 1.20
Cuesta Dutari cut representation (of a point) 4.02
Cut point 1.20
Cuts 1.20
D (= dyadic numbers) 4.21
Decomposition (of formal power series fields) 7.81
| Dedekind cut 1. 20
Dedekind-complete 1.20
Dedekind-completion of 5.50
Degree (polynomial) 7.70
Degree (of ) 7.0
Dense (subclass of an ordered class) 1.10
Dense in itself 1.10
Derivative (of a formal power aeries) 7.60
Disconnected 1.20
Distance function ( in a surcomplex field) 7.10
Distinguished base 2.01
Distinguished base of open sets 2.01
Distinguished subbase 2.01
Dyadic 4.21
Embedding of -fields 1.75
End points (of an interval) 1.10
Equipotent 1.03
Equivalent (sets) 4.02
Eta axiom 4.60
EVS (= extended value set) 1.61 1.10
Exp (= extended exponential function over )) 7.51
Exponential function 7.36
Exponential series 7 — 36
Extended value class of a group {G,v} with valuation 1.62
Extended value set (= EVS) 1.61
Extension (of a Conway cut) 1(.61
Extension (of a field with valuation) 6.30
Extension (of a set) 8.00
Extension (of an ordered set) 1.10
Factor 1.61
Factorial (generalized) 7.93
Field of formal power series 6.30
Fill (a cut) 4.02
Finite intersection property (= f.i.p.) 2.30
Finite ordinals 1.02
First kind (ordinals) 1.02
Formal implicit function theorem 7.70 7.71
Formal implicit mapping theorem 7.72
Formal inverse mapping theorem 7.40
Formal power series (in n variables) 7.1)0
Formal power series over formal power series fields 7.80
Formally real (field) 1.70
Full (condition) 4.03
Full binary tree of height On 4.50
Full eta axiom (= FE), i 60
Full field of formal power series 6.30
Full Hahn group 1.63
Fullness axiom (= F), i 60
Galaxies 5.40
Game 4.01
GCH (= Generalized Continuum Hypothesis) 1.30
Generalized binomial coefficients 7.93
Generalized factorials 7.93
Hahn group 1.63
Hahn valuation 1.61 6.20
Hahn's Embedding Theorem 1.64
Harzheim's Theorem 4.02
Hausdorff (space) 2.10 7.62
Hausdorff's Normal -type 5.10
Height function 4.50
Hessenberg product (- Natural product) 4.05
Hessenberg sum (= Natural sum) 4.05
Hion's Lemma 1.61
Holder's Theorem 1.60
Hyper-convergent 7.22
i, (= a strongly inaccessible cardinal number) 5.40
Ideal of infinitesimal elements 6.00
Ideal theory of a valuation ring 6.70
Identity Theorem (for normal forms) 6.51
Imaginary part 7.10
Immediate extension 1 .63 6.30
Implicit function theorem (for formal power series) 7.70 7.71
Implicit function theorem (for Neumann series) 7.75
Implicit mapping theorem (for formal power series) 7.73
Implicit mapping theorem (for Neumann series) 7.75
Incomplete (= not Dedekind-complete) 1.20
Incomplete ordered groups 1.66
Independence of representation (of Neumann series) 7.83
Infinitely large 1.60
Infinitely small 1.60
interval 1.10
Interval ( — open) 2.12
interval ( -closed) 2.12
Interval topology 1.10
Inverse mapping theorem (for formal power series) 7.75
Inverse mapping theorem (for Neumann series) 7.75
Isolated (= convex subgroup) 1.60
Jacobian (matrix) 7.73
K-valued coefficient 7.40
Kuratowski closure operator 2.02
Leader (of y) 4.40
Left character 1.30
Left-option 4.00
Length (of a pseudo-convergent sequence) 6.41 6.44
Lexicographically ordered (set) 1.60
Linear term (of a formal power series) 7.40
Linearly ordered set (= ordered set) 1.01
Locally -connected 2.01
Logarithmic derivative 1.73
Logarithmic series 7.36
Lower character 1 .30
Lower-saturated 1.02 1.30
M (= the maximal ideal in a valuation ring 0) 6.00
MacLane's Theorem 6.23
Maclaurin — Neumann series 7.91
Main Theorem 7.82
Maximal (field with valuation) 6.30
Maximal extension (of a Conway cut) 4.61
Maximum 1.74
Minimum 1.74
Modifie -open (set) 7.64
Modified -topology 7.64
Modified valuation topology 7.64
Monomial (of a formal power series) 7.40
Multiplication (in No) 4.06
Mutually cofinal (sets in an ordered class) 4.02
Mutually coinitial (sets in an ordered class) 4.02
Natural product (= Hessenberg product) 4.05
Natural sum (= Hessenberg sum) 4.05
NBG (set of axioms for set theory) 1.00
Nearest common predecessor 4.52
Neumann series (expansion) 7.22
Neumann series in a finite number of variables 7.^1
Neumann's First Lemma 7.21
Neumann's Lemma 7.20
Neumann's Second Lemma 7.21
Neumann's Theorem 7.22
No (= Conway's field of all surreal numbers) 4.01 4.02 4.03 4.60
Non — Archimedean (ordered group, ring or field) 1.60
Non-decreasing (sequence) 7.21
Non-limit ordinal number 1.02
Non-singular (point) 7.73
Non-zero limit ordinal 1.02
nop (= nearest common predecessor) 4.52
Norm 3.00
Normal form (Cantor's) 4.04 6.43
Normal form (Conway's in ) 6.53
Normal form (in ) 7.10
Normal form (in Cx) 7.11
Not too many (= of power ) 2.10
O (= a valuation ring of a field with valuation) 6.00
On (= class of all ordinal numbers) 1.02
ONAG (= On Numbers and Games), 0 3
Open ball (about about of radiu ) 7.64
Open ball (about about of radius > g) 7.62
Open class (in the interval topology) 1.10
Open semi-algebraic set 3.00
Open, semi-algebraic set 3.00
Option (right or left) 4.00
Order (of ) 7.40
|
|
 |
Реклама |
 |
|
|