Cambridge summer school in Mathematical logic : held in Cambridge/England, August 1-21, 1971 / / edited by A.R.D. Mathias, H. Rogers |
Edizione | [1st ed. 1973.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [1973] |
Descrizione fisica | 1 online resource (XII, 664 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Mathematics |
Soggetto topico | Logic, Symbolic and mathematical |
ISBN | 3-540-36884-1 |
Classificazione | 03-06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lectures on intuitionism -- Realizability: A retrospective survey -- Some applications of Kleene's methods for intuitionistic systems -- Notes on intuitionistic second order arithmetic -- Some properties of intuitionistic zermelo-frankel set theory -- Ouelques Resultats sur les Interpretations Fonctionnelles -- Combinator realizability of constructive finite type analysis -- The arithmetic theory of constructions -- The priority method for the construction of recursively enumerable sets -- Admissible ordinals and priority arguments -- Abstract computability versus analog-generability (a survey) -- Infinitary combinatorics -- The maximum sum of a family of ordinals -- Effective implications between the "finite" choice axioms -- On descendingly complete ultrafilters -- XVI. A model for the negation of the axiom of choice -- Filters closed under MAHLO's and GAIFMAN's operation -- On chromatic number of graphs and set systems -- Countable models of set theories -- Errata -- Descriptive set theory in -- Modal model theory -- A preservation theorem for interpretations -- Vaught sentences and Lindström's regular relations. |
Record Nr. | UNISA-996466645803316 |
Berlin, Heidelberg : , : Springer-Verlag, , [1973] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / / edited by Juichi Shinoda, Theodore A. Slaman, and Tosiyuki Tugue |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1989] |
Descrizione fisica | 1 online resource (V, 226 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
ISBN | 3-540-48220-2 |
Classificazione |
00B25
03-06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Recursively enumerable sets in models of ?2 collection -- The role of a filter quantifier in set theory -- Syntactical simulation of many-valued logic -- Consistency of Beeson's formal system RPS and some related results -- Elementary properties of a system of fundamental sequences for ?o -- The continuum hypothesis and the theory of the Kleene degrees -- ?1-Collection and the finite injury priority method -- Computational complexity of languages counting random oracles -- Infinitesimal calculus interpreted in infinitary logic. |
Record Nr. | UNISA-996466633003316 |
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1989] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings of the summer school in logic, leeds, 1967 : NATO advanced study institute : meeting of the association for symbolic logic / / edited By M. H. Loeb |
Edizione | [1st ed. 1968.] |
Pubbl/distr/stampa | Berlin : , : Springer-Verlag, , [1968] |
Descrizione fisica | 1 online resource (IV, 331 p.) |
Disciplina | 511.324 |
Collana | Lecture notes in mathematics |
Soggetto topico | Algebraic logic |
ISBN | 3-540-35886-2 |
Classificazione | 03-06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lectures on proof theory -- Partitions and models -- Klassen rekursiver funktionen -- Hyperarithmetic ultrafilters -- Recursive equivalence: A survey -- Half-ring morphologies -- Formalisations of some ?0 ?ukasiewicz propositional calculi -- Theories which are not ?o-categorical -- The monadic fragment of predicate calculus with the Chang quantifier and equality -- The ? 1 1 -comprehension schema and ?-rules. |
Record Nr. | UNISA-996466612803316 |
Berlin : , : Springer-Verlag, , [1968] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|