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 03C40 11 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 Hodges, Wilfrid | Cambridge University Press 1993

Ouvrage

- 772 p.
Call n° : 00015480
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

Location : Collection 1er étage;Réserve

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

Logic colloquium'82
proceedings of the colloquium held in Florence,23-28 aug.,1982 Lolli, G. ; Longo, G. ; Marcja, A. | North-Holland 1984

Congrès


Call n° : 00007604
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

Location : Colloque 1er étage (FLOR)

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

Duality and definability in first order logic Makkai, Michael | American Mathematical Society 1993

Ouvrage


Call n° : 00015586
2-catégorie # facteur définissable # logique algébrique # logique catégorique # logique du premier ordre # logique proportionnelle # théorie de la dualité # théorie des mobiles # topo # ultramorphisme spécial # ultraproduit

03C20 ; 03C40 ; 03G30 ; 18D05

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

Détermination des fonctions entières par interpolation Gontcharoff, W. | Hermann & Cie. 1937

Ouvrage

- 48 p.
Call n° : 00008089
condition de convergence # croissance des fonctions entières # fonction entière # formule d'Abel # formule de Newton # interpolation # point d'interpolation # polynôme de Taylor # série spéciale de Newton # théorie des fonctions

03C40 ; 30-03 ; 30E05 ; 32A15

Location : Ouvrage RdC (GONT)

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

Interpolation spaces and related topics
international workshop on interpolation spaces and related topics held at the Technion in Haifa from June 27 to July 3, 1990 Cwikel Michael ; Milman, Mario ; Rochberg, Richard | Bar-Ilan University 1992

Congrès


Call n° : 00016773
approximation dans des espaces de Besov # couple # couple de Banach # espace Lp # espace d'approximation # espace d'interpolation # espace de Lorentz-Marcinkiewicz # foncteur d'interpolation # interpolation complexe # méthode K # méthode des catégories # ondelette # opérateur de Toeplitz-Calderon # opérateur local pour des espaces de Lebesgue # orbite d'interpolation # poids des espaces de Lipschitz # produit # quasi espace de Banach # système de polynômes orthogonaux # théorie d'interpolation # théorème d'interpolation # treillis[-]
approximation dans des espaces de Besov # couple # couple de Banach # espace Lp # espace d'approximation # espace d'interpolation # espace de Lorentz-Marcinkiewicz # foncteur d'interpolation # interpolation complexe # méthode K # méthode des catégories # ondelette # opérateur de Toeplitz-Calderon # opérateur local pour des espaces de Lebesgue # orbite d'interpolation # poids des espaces de Lipschitz # produit # quasi espace de Banach # système ...[+]

03C40 ; 30E05 ; 42A15 ; 46M35 ; 65Dxx

Location : Colloque 1er étage (HAIF)

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

Introduction to model theory and to the metamathematics of algebra Robinson, Abraham | North-Holland Publishing Co. 1965

Ouvrage

- 284 p.
Call n° : 00004227
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

Location : Ouvrage RdC (ROBI)

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

Modelle der mengenlehre
widerspruchsfreiheit und unabhängigkeit der kontinuum-hypothese und des auswahlaxioms ausgearbeitet von Franz Josef Leven Jensen, Ronald Björn | Springer-Verlag 1967

Ouvrage


Call n° : 00020151
B-modèle intérieur maximal # M-variété # absoluticité et définabilité # indépendance de V=L # indépendance de l'axiome de choix # indépendance de l'hypothèse du continu # modèle # modèle B-valué # modèle constructible # modèle dans la théorie des ensembles # modèle générique # modèle intérieur # métalangage # méthode de contrainte de Cohen # nombre générique # système Zermelo-Fraenkel # théorème de plongement pour modèle ZF

03C40 ; 03Cxx ; 03E25 ; 03E50 ; 04A25

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

The syntax and semantics of infinitary languages
symposium on infinitary logic held at UCLA
Dec. 28-30 Barwise, Jon | Springer-Verlag 1968

Congrès


Call n° : 00020185
algèbre quantifiée # construction géométrique # définabilité implicite et compacité en langage infinitaire # dérivabilité normale en logique classique # logique déterminée # nombre de Hanf pour phase complète # ordinal admissible # preuve algébrique du théorème de compacité de Barwise # propriété d'union de modèle # quantificateur ordonné linéairement # syntaxe et sémantique de langage infinitaire # théorie de récursion # théorie des groupes

03C40 ; 03C75 ; 03Dxx

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

Interpolation and definability :
modal and intuitionistic logics Gabbay, Dov. M. ; Maksimova, Larisa | Clarendon Press 2005

Ouvrage

- 508 p.
Call n° : 00029331
logique # interpolation # logique modale # logiques intermédiaires # logique intuitive # définissabilité # théorème de Craig # théorème de Beth

03-02 ; 03C40 ; 03B45 ; 03B55

Location : Ouvrage RdC (GABB)

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

Logique et complexité Lassaigne, Richard ; De Rougemont, Michel | Hermes 1996

Ouvrage

- 322 p.
Call n° : 00019725
approximation # calcul parallèle # classe de complexité # classe probabiliste # complexité # complexité en espace # définissabilité # définissabilité de Beth # définition explicite # définition implicite # définition inductive # interpolation de Craig # jeux d'Ehrenfeucht- Fraissé # logique # logique du second ordre # logique et calculabilité # loi 0-1 # structure finie # structure relationnelle # temps et espace # test de Los-Vaugt

03C40 ; 03D15 ; 03D70 ; 68N17 ; 68Q10

Location : Ouvrage RdC (LASS)

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