 |
|
|
Internal set theory - Intuitive justification | A Wisdom Archive on Internal set theory - Intuitive justification | | Internal set theory - Intuitive justification A selection of articles related to Internal set theory - Intuitive justification | |
|
|
More material related to Internal Set Theory can be found here:
|
|
|
| | |
Internal set theory, Internal set theory - <i>I</i> : Idealisation, Internal set theory - Formal axioms for IST, Internal set theory - Formal justification for the axioms, Internal set theory - Intuitive justification, Internal set theory - Principles of the <i>standard</i> predicate, Internal set theory - S : Standardisation, Internal set theory - T : Transfer
| | |
|
ARTICLES RELATED TO Internal set theory - Intuitive justification | | | |  Internal set theory - Intuitive justification: Encyclopedia II - Internal set theory - Intuitive justificationWhilst IST has a perfectly formal axiomatic scheme, described below, an intuitive justification of the meaning of the term 'standard' is desirable. This is not part of the official theory, but is a pedagogical device that might assist the student engage with the formalism. The essential distinction, similar to the concept of definable numbers, contrasts the finiteness of the domain of concepts that we can specify and discuss with the unbounded infinity of the set of numbers.
The number of symbols we write with is finite.< ...
See also:Internal set theory, Internal set theory - Intuitive justification, Internal set theory - Principles of the standard predicate, Internal set theory - Formal axioms for IST, Internal set theory - I : Idealisation, Internal set theory - S : Standardisation, Internal set theory - T : Transfer, Internal set theory - Formal justification for the axioms Read more here: » Internal set theory: Encyclopedia II - Internal set theory - Intuitive justification |
| |
|
| | | | Internal set theory - Intuitive justification: Encyclopedia II - Internal set theory - Formal axioms for IST There are three axioms of IST to add to the established ZFC set theoretic axioms (note that use of the ZFC axiom schemas is restricted: the axiom schemas of separation and replacement can only be used with classical formulas, just as in ZFC proper) - conveniently one for each letter in the name: Idealisation, Standardisation, and Transfer. All the principles described above can b ...
See also:Internal set theory, Internal set theory - Intuitive justification, Internal set theory - Principles of the standard predicate, Internal set theory - Formal axioms for IST, Internal set theory - I : Idealisation, Internal set theory - S : Standardisation, Internal set theory - T : Transfer, Internal set theory - Formal justification for the axioms Read more here: » Internal set theory: Encyclopedia II - Internal set theory - Formal axioms for IST |
| |
|
| |
|
|
|
|
More material related to Internal Set Theory can be found here:
|
|
|
|
| |
