m

F Nous contacter

0

Documents  03C35 | enregistrements trouvés : 17

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-444-86876-3

Studies in logic and the foundations of mathematics , 0112

Localisation : Colloque 1er étage (FLOR)

NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue

03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-4586-8

Translations of mathematical monographs , 0117

Localisation : Collection 1er étage

catégorie # structure catégorique # structure globale # théorie des modèles # théorème de complétude

03-02 ; 03C35 ; 03C60 ; 05B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-0623-4

Memoirs of the american mathematical society , 0623

Localisation : Collection 1er étage

automorphisme # groupe de permutation # relation d'ensemble # relation intermédiaire # structure algébrique ordonnée

03C35 ; 06A06 ; 08A02 ; 20B07 ; 20E08

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xv, 183 p.
ISBN 978-0-691-04955-7

Localisation : Loisir RdC

récréation mathématique # roman # thriller # logique # arithmétique # pythagore # catégories

00A08 ; 00A05 ; 01A20 ; 03C35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 772 p.
ISBN 978-0-521-30442-9

Encyclopedia of mathematics and its applications , 0042

Localisation : Collection 1er étage;Réserve

catégoricité # définissabilité # forcing # interpolation # modèle non classique # préservation # rigidité # récursivité # saturation # stabilité # structure finie # théo rie des modèles # ultraproduit # élimination d"un quantificateur

03C25 ; 03C35 ; 03C40 ; 03C50 ; 03Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 554 p.
ISBN 978-0-7204-2273-3

Studies in logic and foundations of mathematics , 0073

Localisation : Ouvrage RdC (CHAN)

catégoricité # logique des sentences # modèle saturé # théorie des modèles # théorème de Ramsey # ultraproduit

03C20 ; 03C35 ; 03C50 ; 03Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 347 p.
ISBN 978-2-225-84079-1

Axiomes

Localisation : Ouvrage RdC (CORI)

algèbre de Boole # calcul des prédicats # calcul proportionnel # logique mathématique # théorème de complétude

03B05 ; 03C35 ; 03G05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 306 p.
ISBN 978-0-8218-3474-9

Contemporary mathematics , 0380

Localisation : Collection 1er étage

espace nucléaire # logique # modèle non-standard # théorie des ensembles # ultrafiltre # définissabilité # conjecture de Schanuel

03-06 ; 03C35 ; 03C45 ; 03C60 ; 03C95 ; 03C98 ; 03E05 ; 03E15 ; 03F30 ; 03H15 ; 03Cxx ; 03Exx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 285 p.
ISBN 978-0-8218-2984-4

Contemporary mathematics , 0302

Localisation : Collection 1er étage

théorie des modèles # modèle arithmétique # logique # théorie des ensembles # algèbre # caractéristique cardinal du continuum # hypothèse du continuum # classification # groupe simple # groupe symétrique # solution de Shelah # théorie complète omega-stable # structure pseudo-analytique # méthode de Hrushoski

03E17 ; 03E35 ; 03E50 ; 03C35 ; 03C45 ; 03C60 ; 03C62 ; 20E32 ; 20B30 ; 03C98

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 284 p.

Studies in logic

Localisation : Ouvrage RdC (ROBI)

calcul des prédicats # complétude # définabilité # métamathématique de l'algèbre # théorie algébrique # théorie des modèles # théorie métamathématique des idéaux # théorie métamathématique des variétés

03C35 ; 03C40 ; 03Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 293 p.
ISBN 978-0-521-24665-1

Cambridge studies in advanced mathematics , 0007

Localisation : Ouvrage RdC (LAMB)

catégorie # logique # logique mathématiques

03B15 ; 03B40 ; 03C35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 193 p.
ISBN 978-0-691-11331-9

Annals of mathematics studies , 0152

Localisation : Ouvrage RdC (CHER)

groupe de permutation # structure finie # théorie des modèles # géométrie finie # théorie des groupes # enveloppe # stabilité # géométrie de Lie

03Cxx ; 03C13 ; 03C35 ; 03C45 ; 03C50 ; 03C60 ; 20B27

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 129 p.
ISBN 978-0-7204-0690-0

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (ROBI)

complétion # groupe complet en modèles et corps # théorie complète # théorème de Gödel # transformée syntactique

03C35 ; 03Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 544 p.
ISBN 978-0-7204-0757-0

Studies in logic and the foundations of mathematics , 0092

Localisation : Ouvrage RdC (SHEL)

classification # modèle non isomorphe # saturé # théorie de modèle # ultra-produit

03C20 ; 03C35 ; 03C45 ; 03C50 ; 03Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xi; 235 p.
ISBN 978-0-8218-4893-7

University lecture series , 0050

Localisation : Collection 1er étage

théorème de complétude # théorie des modèles

03C30 ; 03C45 ; 03C52 ; 03C60 ; 03C75 ; 03C95 ; 03C98 ; 03-02 ; 03C35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics , 0120

Localisation : Collection 1er étage

arithmétique du successeur de second ordre monadique de Büch # calcul séquentiel SC # dérivation # preuve du théorème de forme normale # processus infini # procédure de décision # variable de prédicat libre # variable individuelle libre

03B25 ; 03C35 ; 03D05 ; 20F10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 146 p.
ISBN 978-0-19-853186-9

Oxford logic guides , 0008

Localisation : Ouvrage RdC (PILL)

catégoricité # logique # théorie de la classification # théorie de la stabilité # théorie des catégories # théorie des modèles # théorie mathématique, logique # théorème de Baldwin-Lachlan # théorème de Morley

03C07 ; 03C35 ; 03C45 ; 03C60 ; 03Cxx

... Lire [+]

Z