|
|
(view preamble | get metadata)
See Also: logicism, foundations of mathematics: overview, mathematical platonism
| Other names: |
predicative set |
| Also defines: |
impredicative definition, vicious circle principle, hierarchy of types, ramified theory, typical ambiguity, arithmetic predicate |
| Keywords: |
impredicative, vicious circle, type, order, axiom of reducibility |
|
|
Cross-references: relation, primitive recursive, ordinals, eventually, potential, power set, extension, bias, abstract object, even, numbers, cut, comprehension, axiom scheme, superscript, well-formed formulas, enumeration, restriction, index, arithmetic, Greek letters, ad hoc, axiom of reducibility, axiom, union, rational, line, Dedekind cut, least upper bound, upper bound, real numbers, continuum, foundations, representation, identity, category theory, second order, well defined, free variables, first order, theory, theory of types, supplements, quantifier, bound variables, binary, levels, division, entails, belongs, propositional function, function, domain, variable, type, ramified theory of types, characterization, object, conjunction, infinite, reference, point, application, trichotomy, logicism, logic, derivation, convergent, supports, component, positive, section, strict, compatible, obvious, map, class, character, negative, proposition, occurrences, sequence, circle, members, satisfiable, argument, satisfies, independent, predicate, natural numbers, order, terms, definable, elements, contain, Mathematica, limits, analysis, Poincaré's, periods, development, divide, useful, categorical, configurations, divergent, range, Foundations of Mathematics
There are 4 references to this entry.
This is version 5 of predicativism, born on 2008-11-21, modified 2008-11-21.
Object id is 11265, canonical name is Predicativism.
Accessed 2120 times total.
Classification:
| AMS MSC: | 03-01 (Mathematical logic and foundations :: Instructional exposition ) | | | 03A05 (Mathematical logic and foundations :: Philosophical and critical) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
