|
|
|
Error
|
|
Missing cached output! Please contact an admin.
|
|
|
(view preamble)
Cross-references: totally ordered set, basis, relation, vector space, every vector space has a basis, application, existence proofs, Zorn's lemma, empty set, upper bound, totally ordered, Hilbert basis theorem, algebra, topology, noetherian ring, ideals, antichain, strictly decreasing, opposite, property, finite, strictly increasing, maximal element, Noetherian, order, infinite, segment, implies, place, well-ordered, prime, prime factors, positive, index, variation, composition, algebraic, numbers, surreal numbers, definitions, union, intersection, interval, finite sequence, integer, argument, Fibonacci sequence, vacuously true, right, side, inductive hypothesis, transfinite inductions, length, Proofs, sequence, hypothesis, least element, natural numbers, proof by contradiction, variety, points, subset, domain, contradiction, function, proof
There are 213 references to this entry.
This is version 11 of induction, born on 2002-02-19, modified 2005-02-28.
Object id is 2263, canonical name is Induction.
Accessed 22887 times total.
Classification:
| AMS MSC: | 03F07 (Mathematical logic and foundations :: Proof theory and constructive mathematics :: Structure of proofs) | | | 03B48 (Mathematical logic and foundations :: General logic :: Probability and inductive logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|