Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Livre papier |
| Γλώσσα: | Anglais |
| Έκδοση: |
Amsterdam ; London :
North-Holland
1970.
|
| Σειρά: | Studies in logic and the foundations of mathematics
|
| Θέματα: | |
| Σημείωση: |
Joint sponsors: Mathematical Institute of Hebrew University of Jerusalem and International Mathematical Union |
| Autres localisations: | Voir dans le Sudoc |
Πίνακας περιεχομένων:
- Weakly definable relations and special automata, M. O. Rabin.
- Determinacy and prewellorderings of the continuum, Y. N. Moschovakis.
- Initial segments of the degrees of unsolvability. I: A survey, C. E. M. Yates.
- Some applications of almost disjoint sets, R. B. Jensen and R. M. Solovay.
- On local arithmetical functions and their application for constructing types of Peano's arithmetic, H. Gaifman.
- Definable sets of minimal degree, R. Jensen.
- Definability in axiomatic set theory, A. Lévy.