No CrossRef data available.
Article contents
Definability problems in elementary topology
Published online by Cambridge University Press: 09 April 2009
Abstract
The elementary part of general topology is carried out in a system which is based on the arithmetically definable theory of the reals with definitions by definable induction (DDI), where a formal object is said to be definable if the quantifiers are restricted to the rationals, the names of the base members and the elements of the spaces.
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1983