m
     
Congrès

H 0 Logic conference
proceedings of the international summer institute and logic colloquium
ISILC
July 17 - Aug. 3

Muller, G. H. (Editeur) ; Oberschelp, A. (Editeur) ; Potthoff, K. (Editeur)

Springer-Verlag

1975

978-3-540-07534-9

00020530

03-XX ; 04-XX ; 68-XX

approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # problème algorithmique irrésoluble récursivement # produit du forcing de Silver # propriété d'indescriptibilité # sémantique intensionnelle pour langage naturel # théorie des ensembles en langage infinitaire # théorie des modèles de corps locaux # théorie du calcul # théorème de Silver # type de données comme treillis # élimination de quantificateur

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540075349

ISBN : 3-540-07534-8

Collation : 24 cm ; 651 p. ; Bibliogr. ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0499

Localisation : Collection 1er étage

Notes : 2 volumes reliés ensemble L20530 et L20531

Année de la rencontre : 1974

Ville du congrès : Kiel

Pays du congrès : Allemagne RDA

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00020530


[disponible]
Z