|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Tourlakis G.J. — Lectures in Logic and Set Theory: Set Theory |
|
|
|
| Предметный указатель |
Relation, symmetric 260
Relation, total 196
Relation, transitive 260
Relation, unary 194
Relation, well-founded 297
Relational composition see "Relation composition"
Relational extension of a formula 194
Relational implementation 194
Relative consistency of ZFC-f 367
Relative universe 145
Relativization 79
Replacement axiom see "Axiom"
Reverse inclusion 521 549
Right inverse see "Function"
Rosser, J.B. 92
Rule 495
rule set 494
Rule, finitary 495
Rule, infinitary 495
Rules of Inference 8 29
Russell, B. 74 104 122 439
Satisfiable 57
Satisfiable, finitely 57
Schema 35
Schema instance 35
Schneider, F.B. 5
Scope 15 17 533
Segment 230 301
Segment, closed 301
Segment, initial 301
Selection axiom 229
Self-reference 94
Semantics 6
Sentence 20
Separation 67
SEQUENCE 208
Set 99
Set of (formal) natural numbers 234
Set of natural numbers 112
Set term 126
Set term by listing 133
Set universe 144
Set,  -closed 237
Set, countable 442
Set, Dedekind finite 449
Set, Dedekind infinite 449
Set, definable 219 220 223
Set, empty 111
Set, enumerable 442
Set, finite 431
Set, inductive 233
Set, inductively defined 495
Set, infinite 431
Set, name 110
Set, pure 310
Set, rank of 206
Set, recursively defined 495
Set, successor 233
Set, transitive 220 236 331
Set, uncountable 442
Set, well-founded 158 359
Set, WR-finite 440
Set, WR-infinite 440
Sethood 18 106
Shoenfield, J.R. 395
Sikorski, R. 42
Simple completeness 63
Simply complete 88
Simultaneous substitution 34
Singleton 147 162
Size limitation doctrine 161
Skolem function 76
Skolem paradox 508
Skolem, T. 64
Smullyan, R. 88
sort 17
Soundness 59 81
Specialization 44 117
Stage 24
Stage of collecting type 219
Stage of powering type 219
Stage of set formation, formal definition 368
Stage, principle 0 of set construction 102
Stage, principle 1 of set construction 102
Stage, principle 2 of set construction 102
String 13
String,  13
String,  13
String, empty 13
String, equality 13
String, prefix 13
String, prefix, proper 13
Strong choice see "AC"
Strong limit 483
Strongly inaccessible 483
Structure 54
Structure, domain of 54
Structure, expansion of 55 72
Structure, reduct of 55
Structure, underlying set of 54
Structure, universe of 54
subclass 139
Subclass, proper 139
Subscripted variable 233
Subset relation 117 139
Subset relation, proper 119
Substitutable for 33
Substitution 32
Substitution axiom 35
Substitution, simultaneous 34
Substring 11 13
Subtraction see "Difference"
Successor cardinal 465 555
Successor ordinal 342
superclass 139
Superclass, proper 139
Superset relation 117
Support 309
| Support function 346
Supremum 346
Surjection see "Function surjective"
Surjective function see "Function"
Symbol sequence 2
Symmetric closure 262
Syntactic variable 169
table 20
Tarski semantics 87
Tarski, A.L. 306 530
Tautologies 29
Tautology theorem 97
Term 126
Term, absolute 382
Theorem 37
Theorem schema 41
Theory 39
Theory,  -consistent 88
Theory, absolute 40
Theory, applied 40
Theory, complete 88
Theory, conservative extension of 47
Theory, consistent 39 229
Theory, contradictory 39
Theory, correct 88
Theory, extension of 47
Theory, first order 39
Theory, formal interpretation of 83
Theory, formal model of 83
Theory, incompletable 228
Theory, incomplete 88
Theory, inconsistent 39
Theory, pure 40
Theory, semantically complete 63
Theory, simply complete 88
Theory, simply incomplete 88
Theory, sound 57
total 186
Total function 143
Total order see "Order"
Totally defined function 143
Totally ordered set 230
Tourlakis, G. 228
Transfinite 284
Transfinite construction 284
Transfinite construction, sequence 348
Transitive 284
Transitive class see "Class"
Transitive closure 232 262
Transitive closure of a class 265
Transitive set see "Set"
Transitivity of  38
TRANSPOSE 271
Trichotomy 241 243 245 281 287
TRUE 110
Truth (value) assignment 30
Truth functions 31
TYPE 17
Unambiguous 26 55 498
unary 18
Unbounded 479
Uncountable 64 90 442
Undecidable sentence 88
Underlying set 54
union 24 150 152
Union of a class 150
Union of a family of sets 150
Union of a higher order collection 193
Union of many classes 142
Union of two classes 141
Uniquely readable 30
Universal closure 45
Universal quantifier 17
Universe 144
Unordered pair 147
Upper bound 346
Upper bound, least 346
Urelement 99 114
Urelemente 100
Vacuously satisfied 32
Valid 57
Valid, logically 57
Valid, universally 57
Valuation 30 98
Variable, bound 19
Variable, free 19
Variable, frozen 50
Variant 36 46
Veblen O. 53
Vector 185
Vector notation 21
void 141
Von Neumann universe 107
von Neumann, J. 104
Warshall, S. 283
Weak equality 202 279
Weak forcing 530
Weak MC 372
Weakly continuous 349
Weakly inaccessible 483
Weakly normal 349
Well-defined 280
Well-founded relations 297
Well-founded sets 158 359
Well-ordering 219 223 284 289
Whitehead, A.N. 74 439
Wilder, R.L. 449 455 458
WO class 289
WR-finite 440
WR-infinite 440
Young, J.W. 53
Zermelo — Fraenkel axioms 108
Zermelo — Fraenkel set theory 228
Zermelo's Well-Ordering Principle 355
Zermelo's well-ordering theorem 230
Zermelo, E. 105 230 355
Ziffern 42
Zorn's lemma see "Kuratowski — Zorn theorem"
|
|
|
| Реклама |
|
|
|
|
|
О проекте