Finiteness and decidability:I
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 80-100
- https://doi.org/10.1007/bfb0061813
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Automorphisms of ΩAlgebra universalis, 1979
- Some topos theoretic concepts of finitenessPublished by Springer Nature ,1975
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- The obstruction to the localizability of a measure spaceBulletin of the American Mathematical Society, 1965