m

F Nous contacter

0
     
Ouvrage

H 0 Set theory with a universal set :
exploring an untyped universe

Forster, T. E. (Principal)

Clarendon Press

1992

152 p.

978-0-19-853395-5

00017085

03E10 ; 03E35 ; 03Exx ; 04-XX ; 04A10

NF indice trois # NF,NFU,KF # arithmétique de cardinaux et d'ordinaux # axiome # axiome de dénombrement # classe de préfixes # conbinatoire # définition inductive # ensemble bien fondé # ensemble comme espèce naturelle # ensemble comme prédicat # ensemble universel # exploration d'univers atypique # hiérarchie de quantificateurs # lemme d'automorphisme # lemme d'équiconsistance de Kaye-Specker # lemme de Boffa # modèle de permutation # modèle de terme # n-formule # paradoxe # paradoxe de Russell # problème de consistance converse # propriété de de fermeture des petits ensembles # résumé d'ensembles # sous- système # théorie # théorie des ensembles # théorie des types

Ville d'édition : Oxford

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780198533955

ISBN : 0-19-853395-0

Collation : Bibliogr. Pp. 135-147 ; Index ; viii#24 cm#rel.

Collection : Oxford Logic Guide

N° de collection : 0020

Localisation : Ouvrage RdC (FORS)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00017085 [disponible]
Z