bokomslag Cambridge Summer School in Mathematical Logic
Data & IT

Cambridge Summer School in Mathematical Logic

A R D Mathias H Rogers

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 664 sidor
  • 1973
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 Lindstrm's regular relations.

  • Författare: A R D Mathias, H Rogers
  • Format: Pocket/Paperback
  • ISBN: 9783540055693
  • Språk: Engelska
  • Antal sidor: 664
  • Utgivningsdatum: 1973-08-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K