ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , , |
| Format: | Livre numérique |
| Jezik: | Anglais Français |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in mathematics
499 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Contient des textes en anglais et en français Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • ISILC logic conference, proceedings of the International summer institute and logic colloquium, Kiel, 1974, edited by G. H. Müller, A. Oberschelp and K. Potthoff, Berlin, Springer, 1975, 1 vol. (IV-651 p.), Lecture notes in mathematics, 0-387-07534-8 • ISILC - Logic Conference, Texte imprimé, 9783662192962 |
Kazalo:
- An observation on the product of Silver's forcing
- Recursively unsolvable algorithmic problems and related questions reexamined
- Lectures on large cardinal axioms
- Indescribability properties and small large cardinals
- Marginalia to a theorem of Silver
- Computation theories: An axiomatic approach to recursion on general structures
- Closed models and hulls of theories
- Axioms of choice in Morse-Kelley class theory
- First-order logic and its extensions
- Set theory in infinitary languages
- Sur la méthode en histoire de la logioue
- The model theory of local fields
- Quantifier elimination
- Intensional semantics for natural language
- On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes
- Many-valued algorithmic logic
- The least ? 2 1 and ? 2 1 reflecting ordinals
- Data types as lattices.