addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de scission universelle # relation d'équivalence # réel en singleton # structure de coeur # système présenté inductivement # ultra filtre # union de ZF-modèle

Ville d'édition : Amsterdam ; N.Y. ; Oxford

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9780444864659

ISBN : 0-444-86465-2

Collation : 342 p. ; Bibliogr 23 Cm ; Index ; rel.

Collection : Studies in logic and the foundations of mathematics

N° de collection : 0108

Localisation : Colloque 1er étage (PRAG)

Année de la rencontre : 1980

Ville du congrès : Prague

Pays du congrès : République Tchèque

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires