On the regular extension axiom and its variants
β Scribed by Michael Rathjen; Robert S. Lubarsky
- Publisher
- John Wiley and Sons
- Year
- 2003
- Tongue
- English
- Weight
- 138 KB
- Volume
- 49
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
The regular extension axiom, REA, was first considered by Peter Aczel in the context of Constructive ZermeloβFraenkel Set Theory as an axiom that ensures the existence of many inductively defined sets. REA has several natural variants. In this note we gather together metamathematical results about these variants from the point of view of both classical and constructive set theory.
π SIMILAR VOLUMES
In this paper, we consider the regularity criteria for weak solutions to the 3D incompressible magnetohydrodynamic equations and prove some regularity criteria which are related only with u+B or u-B. This is an improvement of the result given by He and Wang (J.