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 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
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


Cote : 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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Ouvrage RdC (LASS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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


Cote : 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

Localisation : Colloque 1er étage (FLOR)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Model theory Hodges, Wilfrid | Cambridge University Press 1993

Ouvrage

- 772 p.
Cote : 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

Localisation : Collection 1er étage;Réserve

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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


Cote : 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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Ouvrage RdC (GONT)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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


Cote : 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

Localisation : Colloque 1er étage (HAIF)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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.
Cote : 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

Localisation : Ouvrage RdC (ROBI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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


Cote : 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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Implizit definierte Mengensysteme Leiss, Hans | Mathematische Naturwissenschaften Fakultat Universitat 1983

Thèse

- 159 p.
Cote : 00008587

03C40 ; 03C80

Localisation : Publication 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue