En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03C55 7 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Model theory and arithmetic :
comptes rendus d'une action thématique programmee du C.N.R.S.. sur la théorie des modèles et l'arithmétique Berline, C. ; Mcaloon, K. ; Ressayre, J. P. | Springer-Verlag 1981

Congrès

- 306 p.
Call n° : 00013687
arithmétique de premier ordre # fondement de la logique mathématique # logique mathématique # modèle d'arithmétique # théorie de la preuve # théorie des ensembles # théorie des modèles

03-06 ; 03C55 ; 03C65 ; 03H15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cylindric set algebras
cylindric set algebras and related structures,on cylindric-relativized set algebras Andréka, Hajnal ; Henkin, L. ; Monk, J. D. ; Nemeti, I. ; Tarski, A. | Springer-Verlag 1981

Ouvrage

- 323 p.
Call n° : 00014010
algèbre de cylindre # algèbre de relation # algèbre p-adique # ensemble # fondement de la logique mathématique # logique algébrique # logique mathématique # modèle # théorie de modèle

03C55 ; 03G15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Studies in model theory Morley, M. D. | The Mathematical Association of America 1973

Ouvrage

- 196 p.
Call n° : 00000199
analyse non-standard # théorie des modèles # ultra puissance

03C20 ; 03C55 ; 03C70 ; 03Cxx

Location : Ouvrage RdC (Stud)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Nonstandard models of arithmetic and set theory :
AMS special session on...#Jan. 15-16 Enayat, Ali ; Kossak, Roman | American Mathematical Society 2004

Congrès

- 167 p.
Call n° : 00028093
théorie des modèles # théorie des ensembles non-standard # arithmétique # équivalence récursive # analyse non-archimédienne

03C62 ; 03C20 ; 03H05 ; 03H15 ; 03D50 ; 26E30 ; 03C55 ; 03E25 ; 03E99 ; 03E35

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Set theory and its applications.
Annual Boise extravaganza in set theory
Boise # 1995-2010 Babinkostova, L. ; Caicedo, A. E. ; Geschke, S. ; Scheepers, M. | American Mathematical Society 2011

Congrès

- xi; 330 p.
Call n° : 00036461
théorie des ensembles # théorie de Ramsey

03C55 ; 03E15 ; 03E17 ; 03E35 ; 03E60 ; 46L05 ; 54A20 ; 54A25 ; 54D20 ; 91A44 ; 03-06 ; 03Exx ; 00B25

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Aspects of mathematical logic, CIME III
Settembre 9-17 Casari, E. | Edizioni Cremonese 1969

Ouvrage


Call n° : 00000771
hypothèse du continu # logique mathématique # modèle de théorie des ensembles # modèle syntactique # problème et méthode # semi-ensemble # théorie de la décidabilité # théorie des ensembles # théorie des modèles

03B25 ; 03C55 ; 03Cxx

Location : Colloque 1er étage (VARE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Generalized descriptive set theory and classification theory Friedman, Sy-David ; Hyttinen, Tapani ; Kulikov, Vadim | American Mathematical Society 2013

Ouvrage

- v; 80 p.
Call n° : 00038475
théorie descriptive des ensembles # variété algébrique # théorie de la classification

03C55 ; 03C45 ; 03E15 ; 03E47 ; 03C75 ; 03E35

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language