Cabal Seminar 81 85 : :: SCD d'Orléans

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

This is the fourth volume of the proceeding of the Caltech-UCLA Logic Seminar, based mainly on material which was presented and discussed in the period 1981-85, but containing also some very recent results. It includes research papers dealing with determinacy hypotheses and their consequences in des...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	Caltech-UCLA logic seminar :Los Angeles, Calif.
Andre forfattere:	Kechris, Alexander Sotirios, 1946-...., mathématicien (Directeur de la publication), Steel, John R., 1948-...., mathématicien (Directeur de la publication), Martin, Donald A., 1940- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in mathematics 1333
Fag:	Logique symbolique et mathématique Théorie de la récursivité Ensembles, Théorie des Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Cabal Seminar 81-85, proceedings, Caltech-UCLA Logic Seminar 1981-85, [edited by] A.S. Kechris, D.A. Martin, J.R. Steel, 1988, Berlin, Springer-Verlag, 1 volume (224 pages), Lecture notes in mathematics, 0-387-50020-0 • Cabal Seminar 81-85, Texte imprimé, 9783662192672

Lignende værker

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
Udgivet: (1978)

Cabal Seminar 76 77 : proceedings, Caltech-UCLA logic seminar 1976 77

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Udgivet: (1977)

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
Udgivet: (1981)

Cabal Seminar 77-79 : Proceedings, Caltech-UCLA Logic Seminar 1977-79

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Udgivet: (1967)

First-order dynamic logic
af: Harel, David, 1950-

Walks on Ordinals and Their Characteristics
af: Todorčević, Stevo, 1955-...., mathématicien

Techniques of Admissible Recursion Theory
af: Chong, Chi-Tat, 1949-...., mathématicien

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Udgivet: (1975)

Recursion on the countable functionals
af: Normann, Dag, 1947-

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Udgivet: (1977)

Set Theory and Hierarchy Theory V

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
af: Lolli, Gabriele, 1942-
Udgivet: (2011)

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

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
Udgivet: (1970)

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10 21, 1987

Set theory and logic
af: Fraenkel, Abraham Adolf, 1891-1965
Udgivet: (1966)

Logic, computers, and sets
af: Wang, Hao, 1921-
Udgivet: (1970)

Collected works. Logic, theory of sets and quantum mechanics
af: Von Neumann, John, 1903-1957
Udgivet: (1961)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Udgivet: (1974)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Udgivet: (1978)

Sets, logic, and categories
af: Cameron, Peter J., 1947-...., mathématicien

Elements of mathematical logic and set theory
af: Słupecki, Jerzy, 1904-1987, et autres
Udgivet: (1967)

Degrees of unsolvability
af: Sacks, Gerald, 1933-2019
Udgivet: (1966)

Rough sets and current trends in computing : ; proceedings 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004

Eléments de mathématique. Théorie des ensembles. Description de la mathématique formelle. Théorie des ensembles
af: Bourbaki, Nicolas
Udgivet: (1960)

Admissible sets and structures : an approach to definability theory
af: Barwise, Jon, 1942-2000
Udgivet: (1975)

A theory of sets
af: Morse, Anthony Perry, 1911-1984, mathématicien
Udgivet: (1965)

Topics in Set Theory : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
af: Bekkali, Mohamed, 1956-

Guida alla teoria degli insiemi
af: Lolli, Gabriele, 1942-

Around Classification Theory of Models
af: Shelah, Saharon, 1945-...., mathématicien

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
af: Jensen, Ronald Björn, 1936-

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
af: Karpiński, Marek

Axiomatic theory of sets and classes
af: Eisenberg, Murray, 1939-
Udgivet: (1971)

Langages, ensembles, théories axiomatiques
af: Hervieux, Maurice, et autres
Udgivet: (1970)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales