Cambridge Summer School in Mathematical Logic

Held in Cambridge /U. K., August 1-21, 1971

AvA. R. D. Mathias,H. Rogers

Häftad, Engelska, 1973

Del 337 i serien Lecture Notes in Mathematics

556 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1973-08-15
Mått:178 x 254 x 37 mm
Vikt:1 007 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:664
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540055693

Utforska kategorier

Innehållsförteckning

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.

Du kanske också är intresserad av

Cambridge Summer School in Mathematical Logic

H. Rogers, A. R. D. Mathias

E-bok

2006

718 kr

Pictorial Key to the Tarot

A. E. Waite

Häftad, 1973

205 kr

Del 336

L'Analyse Harmonique dans le Domaine Complexe

E. J. Akutowicz

Häftad, 1973

226 kr

Algebraic Number Fields

Elsevier Science

E-bok

1973

789 kr

International Review of Cytology

Elsevier Science

E-bok

1973

783 kr

Pasó Por Aquí

Eugene Manlove Rhodes

Häftad, 1973

216 kr

Del 87

Surveys in Set Theory

A. R. D. Mathias

Häftad, 1983

956 kr

Initial Value Methods for Boundary Value Problems: Theory and Application of Invariant Imbedding

Elsevier Science

E-bok

1973

1 595 kr

International Review of Research in Mental Retardation

Elsevier Science

E-bok

1973

813 kr

Signerad!

SIGNERAD - Om julens wälgång

Klara Peters Bastin

Inbunden, 2026

249 kr

Cambridge Summer School in Mathematical Logic

Held in Cambridge /U. K., August 1-21, 1971

AvA. R. D. Mathias,H. Rogers

Häftad, Engelska, 1973

Del 337 i serien Lecture Notes in Mathematics

556 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1973-08-15
Mått:178 x 254 x 37 mm
Vikt:1 007 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:664
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540055693

Utforska kategorier

Innehållsförteckning

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.