×

zbMATH — the first resource for mathematics

Krivine, Jean-Louis

Compute Distance To:
Author ID: krivine.jean-louis Recent zbMATH articles by "Krivine, Jean-Louis"
Published as: Krivine, J-L.; Krivine, J. L.; Krivine, J.-L.; Krivine, Jean; Krivine, Jean-Louis
External Links: MGP · Wikidata
Documents Indexed: 65 Publications since 1964, including 14 Books

Publications by Year

Citations contained in zbMATH Open

50 Publications have been cited 800 times in 624 Documents Cited by Year
Lois stables et espaces \(L^ p\). Zbl 0139.33501
Bretagnolle, J.; Dacunha-Castelle, D.; Krivine, J. L.
106
1966
Lambda-calcul, types et modèles. (Lambda calculus, types and models). Zbl 0697.03004
Krivine, Jean-Louis
65
1990
Sous-espaces de dimension finie des espaces de Banach reticules. Zbl 0329.46008
Krivine, J. L.
65
1976
Espaces de Banach stables. Zbl 0504.46013
Krivine, J.-L.; Maurey, B.
60
1981
Anneaux preordonnes. Zbl 0134.03902
Krivine, J. L.
54
1964
Lambda-calculus, types and models. Transl. from the French by René Cori. Zbl 0779.03005
Krivine, J. L.
50
1993
Applications des ultraproduits à l’étude des espaces et des algèbres de Banach. Zbl 0275.46023
Dacunha-Castelle, D.; Krivine, J. L.
44
1972
Elements of mathematical logic (model theory). Zbl 0155.33801
Kreisel, Georg; Krivine, J. L.
29
1967
Programming with proofs. Zbl 0699.68020
Krivine, Jean-Louis; Parigot, Michel
24
1990
A call-by-name lambda-calculus machine. Zbl 1130.68057
Krivine, Jean-Louis
23
2007
Classical logic, storage operators and second-order lambda-calculus. Zbl 0814.03009
Krivine, Jean-Louis
23
1994
Dependent choice, ‘quote’ and the clock. Zbl 1169.03328
Krivine, Jean-Louis
22
2003
Constantes de Grothendieck et fonctions de type positif sur les sphères. Zbl 0413.46054
Krivine, J. L.
20
1979
Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Zbl 0990.03008
Krivine, Jean-Louis
19
2001
Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation). Zbl 0712.03009
Krivine, Jean-Louis
19
1990
Quelques propriétés des preordres dans les anneaux commutatifs unitaires. Zbl 0119.03602
Krivine, J.-L.
13
1964
Sous-espaces de \(L^1\). Zbl 0344.46051
Dacunha-Castelle, D.; Krivine, J. L.
11
1977
Sur la constante de Grothendieck. Zbl 0366.60010
Krivine, Jean-Louis
10
1977
Théoremes de factorisation dans les espaces reticules. Zbl 0295.47024
Krivine, J. L.
10
1974
Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703
Kreisel, Georg; Krivine, J. L.
10
1967
Realizability in classical logic. Zbl 1206.03017
Krivine, Jean-Louis
9
2009
A general storage theorem for integers in call-by-name \(\lambda\)- calculus. Zbl 0813.03008
Krivine, Jean-Louis
8
1994
Un algorithme non typable dans le système F. (An algorithm not typable in the system F). Zbl 0665.03008
Krivine, Jean-Louis
8
1987
Langages à valeurs réelles et applications. Zbl 0292.02019
Krivine, Jean-Louis
8
1974
Elements of mathematical logic. Model theory. Translated from the French by A.B. Slomson. 1st reprint. Zbl 0219.02037
Kreisel, Georg; Krivine, J. L.
8
1971
Fonctions de type positif sur les espaces L\(^p\). Zbl 0255.42022
Bretagnolle, Jean; Dacunha Castelle, Didier; Krivine, Jean-Louis
8
1965
Introduction to axiomatic set theory. Zbl 0212.32402
Krivine, J.-L.
7
1971
Axiomatic set theory. Zbl 0175.00601
Krivine, Jean-Louis
7
1969
Disjunctive tautologies as synchronisation schemes. Zbl 0973.03039
Danos, Vincent; Krivine, Jean-Louis
6
2000
Lambda-calcul, évaluation paresseuse et mise en mémoire. (Lambda calculus, lazy evaluation and storage operators). Zbl 0717.03003
Krivine, Jean-Louis
6
1991
Realizability algebras. II: New models of \(\mathrm{ZF} + \mathrm{DC}\). Zbl 1239.03009
Krivine, Jean-Louis
5
2012
Realizability algebras: a program to well order \(\mathbb R\). Zbl 1237.03012
Krivine, Jean-Louis
5
2011
A formal and intuitionistic proof of the completeness theorem of classical logic. Zbl 0872.03004
Krivine, Jean-Louis
5
1996
Forcing and generalized quantifiers. Zbl 0259.02009
Krivine, Jean-Louis; McAloon, Kenneth
4
1973
Théorie des modeles et espaces L\(^p\). Zbl 0246.02037
Krivine, Jean-Louis
4
1972
Ultraproduits d’espaces d’Orlicz et applications géométriques. Zbl 0213.12901
Dacunha-Castelle, D.; Krivine, J.-L.
4
1970
Plongement des espaces normes dans les \(L^ p\) pour \(p>2\). Zbl 0141.12004
Krivine, J-L.
4
1965
Lois stables et espaces \(L^ p\). Zbl 0161.10603
Bretagnolle, J.; Dacunha-Castelle, D.; Krivine, J. L.
3
1967
Set theory. Zbl 0991.03001
Krivine, Jean-Louis
2
1998
Espaces de Banach stables. Zbl 0421.46015
Krivine, Jean-Louis; Maurey, Bernard
2
1979
Realizability algebras. III: Some examples. Zbl 1383.03023
Krivine, Jean-Louis
1
2018
Interactive models of computation and program behavior. Zbl 1205.03045
Curien, Pierre-Louis; Herbelin, Hugo; Krivine, Jean-Louis; Melliès, Paul-André
1
2009
About classical logic and imperative programming. Zbl 0864.03021
Krivine, Jean-Louis
1
1996
Functions, programs and proofs. Zbl 0842.03023
Krivine, Jean-Louis
1
1994
Méthodes de théorie des modèles en géométrie des espaces de Banach. Zbl 0594.03020
Krivine, J.-L.
1
1984
Sur la complexification des opérateurs de \(L^\infty\) dans \(L^1\). Zbl 0357.47006
Krivine, Jean-Louis
1
1977
Sur les espaces isomorphes à \(\ell^p\). Zbl 0309.46010
Krivine, J. L.
1
1975
Représentation finie des \(\ell^p\) dans les espaces de Banach reticules. Zbl 0305.46022
Krivine, Jean-Louis
1
1975
Sous-espaces de L\(^1\). Zbl 0295.46046
Dacunha-Castelle, Didier; Krivine, Jean-Louis
1
1975
Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Aus dem Französischen übersetzt von j.J. Jung. Zbl 0238.02003
Kreisel, Georg; Krivine, J.-L.
1
1972
Realizability algebras. III: Some examples. Zbl 1383.03023
Krivine, Jean-Louis
1
2018
Realizability algebras. II: New models of \(\mathrm{ZF} + \mathrm{DC}\). Zbl 1239.03009
Krivine, Jean-Louis
5
2012
Realizability algebras: a program to well order \(\mathbb R\). Zbl 1237.03012
Krivine, Jean-Louis
5
2011
Realizability in classical logic. Zbl 1206.03017
Krivine, Jean-Louis
9
2009
Interactive models of computation and program behavior. Zbl 1205.03045
Curien, Pierre-Louis; Herbelin, Hugo; Krivine, Jean-Louis; Melliès, Paul-André
1
2009
A call-by-name lambda-calculus machine. Zbl 1130.68057
Krivine, Jean-Louis
23
2007
Dependent choice, ‘quote’ and the clock. Zbl 1169.03328
Krivine, Jean-Louis
22
2003
Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Zbl 0990.03008
Krivine, Jean-Louis
19
2001
Disjunctive tautologies as synchronisation schemes. Zbl 0973.03039
Danos, Vincent; Krivine, Jean-Louis
6
2000
Set theory. Zbl 0991.03001
Krivine, Jean-Louis
2
1998
A formal and intuitionistic proof of the completeness theorem of classical logic. Zbl 0872.03004
Krivine, Jean-Louis
5
1996
About classical logic and imperative programming. Zbl 0864.03021
Krivine, Jean-Louis
1
1996
Classical logic, storage operators and second-order lambda-calculus. Zbl 0814.03009
Krivine, Jean-Louis
23
1994
A general storage theorem for integers in call-by-name \(\lambda\)- calculus. Zbl 0813.03008
Krivine, Jean-Louis
8
1994
Functions, programs and proofs. Zbl 0842.03023
Krivine, Jean-Louis
1
1994
Lambda-calculus, types and models. Transl. from the French by René Cori. Zbl 0779.03005
Krivine, J. L.
50
1993
Lambda-calcul, évaluation paresseuse et mise en mémoire. (Lambda calculus, lazy evaluation and storage operators). Zbl 0717.03003
Krivine, Jean-Louis
6
1991
Lambda-calcul, types et modèles. (Lambda calculus, types and models). Zbl 0697.03004
Krivine, Jean-Louis
65
1990
Programming with proofs. Zbl 0699.68020
Krivine, Jean-Louis; Parigot, Michel
24
1990
Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation). Zbl 0712.03009
Krivine, Jean-Louis
19
1990
Un algorithme non typable dans le système F. (An algorithm not typable in the system F). Zbl 0665.03008
Krivine, Jean-Louis
8
1987
Méthodes de théorie des modèles en géométrie des espaces de Banach. Zbl 0594.03020
Krivine, J.-L.
1
1984
Espaces de Banach stables. Zbl 0504.46013
Krivine, J.-L.; Maurey, B.
60
1981
Constantes de Grothendieck et fonctions de type positif sur les sphères. Zbl 0413.46054
Krivine, J. L.
20
1979
Espaces de Banach stables. Zbl 0421.46015
Krivine, Jean-Louis; Maurey, Bernard
2
1979
Sous-espaces de \(L^1\). Zbl 0344.46051
Dacunha-Castelle, D.; Krivine, J. L.
11
1977
Sur la constante de Grothendieck. Zbl 0366.60010
Krivine, Jean-Louis
10
1977
Sur la complexification des opérateurs de \(L^\infty\) dans \(L^1\). Zbl 0357.47006
Krivine, Jean-Louis
1
1977
Sous-espaces de dimension finie des espaces de Banach reticules. Zbl 0329.46008
Krivine, J. L.
65
1976
Sur les espaces isomorphes à \(\ell^p\). Zbl 0309.46010
Krivine, J. L.
1
1975
Représentation finie des \(\ell^p\) dans les espaces de Banach reticules. Zbl 0305.46022
Krivine, Jean-Louis
1
1975
Sous-espaces de L\(^1\). Zbl 0295.46046
Dacunha-Castelle, Didier; Krivine, Jean-Louis
1
1975
Théoremes de factorisation dans les espaces reticules. Zbl 0295.47024
Krivine, J. L.
10
1974
Langages à valeurs réelles et applications. Zbl 0292.02019
Krivine, Jean-Louis
8
1974
Forcing and generalized quantifiers. Zbl 0259.02009
Krivine, Jean-Louis; McAloon, Kenneth
4
1973
Applications des ultraproduits à l’étude des espaces et des algèbres de Banach. Zbl 0275.46023
Dacunha-Castelle, D.; Krivine, J. L.
44
1972
Théorie des modeles et espaces L\(^p\). Zbl 0246.02037
Krivine, Jean-Louis
4
1972
Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Aus dem Französischen übersetzt von j.J. Jung. Zbl 0238.02003
Kreisel, Georg; Krivine, J.-L.
1
1972
Elements of mathematical logic. Model theory. Translated from the French by A.B. Slomson. 1st reprint. Zbl 0219.02037
Kreisel, Georg; Krivine, J. L.
8
1971
Introduction to axiomatic set theory. Zbl 0212.32402
Krivine, J.-L.
7
1971
Ultraproduits d’espaces d’Orlicz et applications géométriques. Zbl 0213.12901
Dacunha-Castelle, D.; Krivine, J.-L.
4
1970
Axiomatic set theory. Zbl 0175.00601
Krivine, Jean-Louis
7
1969
Elements of mathematical logic (model theory). Zbl 0155.33801
Kreisel, Georg; Krivine, J. L.
29
1967
Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703
Kreisel, Georg; Krivine, J. L.
10
1967
Lois stables et espaces \(L^ p\). Zbl 0161.10603
Bretagnolle, J.; Dacunha-Castelle, D.; Krivine, J. L.
3
1967
Lois stables et espaces \(L^ p\). Zbl 0139.33501
Bretagnolle, J.; Dacunha-Castelle, D.; Krivine, J. L.
106
1966
Fonctions de type positif sur les espaces L\(^p\). Zbl 0255.42022
Bretagnolle, Jean; Dacunha Castelle, Didier; Krivine, Jean-Louis
8
1965
Plongement des espaces normes dans les \(L^ p\) pour \(p>2\). Zbl 0141.12004
Krivine, J-L.
4
1965
Anneaux preordonnes. Zbl 0134.03902
Krivine, J. L.
54
1964
Quelques propriétés des preordres dans les anneaux commutatifs unitaires. Zbl 0119.03602
Krivine, J.-L.
13
1964
all top 5

Cited by 706 Authors

14 Nour, Karim
13 Krivine, Jean-Louis
11 Raynaud, Yves
10 Naor, Assaf
9 Kesner, Delia
9 Odell, Edward
7 Bucciarelli, Antonio
7 Dacunha-Castelle, Didier
7 Ehrhard, Thomas
7 van Bakel, Steffen
6 Miquel, Alexandre
6 Schlumprecht, Thomas
5 Bastero, Jesús
5 Ben-Yaacov, Itaï
5 Berger, Ulrich
5 David, Rene
5 Dilworth, Stephen J.
5 Lasserre, Jean-Bernard
5 Ronchi Della Rocca, Simona
5 Rosenthal, Haskell P.
5 Salibra, Antonino
5 Schechtman, Gideon
5 Weston, Anthony
4 Argyros, Spiros A.
4 Aschieri, Federico
4 Berline, Chantal
4 Dezani-Ciancaglini, Mariangiola
4 Ghilezan, Silvia
4 Guillermo, Mauricio
4 Henson, C. Ward
4 Kuhlmann, Salma
4 Milman, Vitali D.
4 Motakis, Pavlos
4 Pisier, Gilles
4 Raffalli, Christophe
4 Seiller, Thomas
4 Stern, Jacques
3 Bretagnolle, Jean L.
3 Cambanis, Stamatis
3 Cimprič, Jaka
3 David, Roee
3 de’Liguoro, Ugo
3 Dor, Leonard E.
3 Farkh, Samir
3 Ferrer Santos, Walter Ricardo
3 Figiel, Tadeusz
3 Flores, Julio
3 Gallier, Jean H.
3 Guerre-Delabriere, Sylvie
3 Johnson, William Buhmann
3 Kamareddine, Fairouz D.
3 Koldobsky, Alexander L.
3 Kurdyka, Krzysztof
3 Laurent, Monique
3 Malherbe, Octavio
3 Manzonetto, Giulio
3 Maurey, Bernard
3 Misiewicz, Jolanta K.
3 Omodeo, Eugenio Giovanni
3 Salvati, Sylvain
3 Sánchez, Stephen
3 Shelah, Saharon
3 Spodzieja, Stanisław
3 Tortora de Falco, Lorenzo
3 Tortrat, Albert
3 Tradacete Pérez, Pedro
3 Vaux, Lionel
3 Walukiewicz, Igor
2 Accattoli, Beniamino
2 Ahmadi, Amir Ali
2 Amir, Dan
2 Ariola, Zena M.
2 Astashkin, Sergeĭ Vladimir
2 Baudier, Florent
2 Berardi, Stefano
2 Berenstein, Alexander
2 Bernau, Simon J.
2 Bidoit, Michel
2 Biernacki, Dariusz
2 Borzyszkowski, Tomasz
2 Boudol, Gérard
2 Bourgain, Jean
2 Boyer, Julien
2 Brunel, Aloïs
2 Cheeger, Jeff
2 Chepoi, Victor D.
2 Chevet, Simone
2 Colson, Loïc
2 Coquand, Thierry
2 Dahl, Joachim
2 Danos, Vincent
2 de Klerk, Etienne
2 Deza, Michel Marie
2 Doust, Ian
2 Dowek, Gilles
2 Downen, Paul
2 Eskenazis, Alexandros
2 Farah, Ilijas
2 Fendler, Gero
2 Fichet, Bernard
...and 606 more Authors
all top 5

Cited in 162 Serials

59 Theoretical Computer Science
41 Israel Journal of Mathematics
33 Annals of Pure and Applied Logic
22 Journal of Functional Analysis
19 Proceedings of the American Mathematical Society
19 MSCS. Mathematical Structures in Computer Science
16 Information and Computation
15 Journal of Mathematical Analysis and Applications
13 The Journal of Symbolic Logic
12 Advances in Mathematics
12 Compositio Mathematica
10 Journal of Multivariate Analysis
8 Journal of Pure and Applied Algebra
8 Transactions of the American Mathematical Society
8 Annales de l’Institut Henri Poincaré. Nouvelle Série. Section B. Calcul des Probabilités et Statistique
8 Logical Methods in Computer Science
7 Mathematical Proceedings of the Cambridge Philosophical Society
7 Archiv der Mathematik
7 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
7 RAIRO. Informatique Théorique et Applications
7 Positivity
6 Journal of Algebra
6 Mathematische Annalen
6 Notre Dame Journal of Formal Logic
6 Archive for Mathematical Logic
6 The Bulletin of Symbolic Logic
5 Annales de l’Institut Fourier
5 Journal of Symbolic Computation
5 Journal of Functional Programming
4 Acta Mathematica
4 Algebra Universalis
4 Inventiones Mathematicae
4 Studia Logica
4 Synthese
3 Communications in Algebra
3 Discrete Applied Mathematics
3 Information Processing Letters
3 Journal of Mathematical Physics
3 Studia Mathematica
3 Duke Mathematical Journal
3 Journal of Soviet Mathematics
3 Mathematische Zeitschrift
3 Memoirs of the American Mathematical Society
3 Journal of Global Optimization
3 Linear Algebra and its Applications
3 Indagationes Mathematicae. New Series
3 Higher-Order and Symbolic Computation
3 Bulletin of the American Mathematical Society
3 Bulletin de la Société Mathématique de France. Supplément. Mémoires
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Bulletin of the Australian Mathematical Society
2 International Journal of Theoretical Physics
2 Rocky Mountain Journal of Mathematics
2 The Annals of Probability
2 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
2 Fuzzy Sets and Systems
2 Integral Equations and Operator Theory
2 Journal of Computer and System Sciences
2 Acta Applicandae Mathematicae
2 Discrete & Computational Geometry
2 Journal of Automated Reasoning
2 Geometric and Functional Analysis. GAFA
2 Expositiones Mathematicae
2 SIAM Journal on Optimization
2 Journal of Mathematical Sciences (New York)
2 Theory of Computing Systems
2 RAIRO. Theoretical Informatics and Applications
2 Forum of Mathematics, Pi
2 Journal of Logical and Algebraic Methods in Programming
2 SIAM Journal on Applied Algebra and Geometry
1 Communications in Mathematical Physics
1 Communications on Pure and Applied Mathematics
1 Educational Studies in Mathematics
1 Indian Journal of Pure & Applied Mathematics
1 Lithuanian Mathematical Journal
1 Mathematical Notes
1 The Mathematical Intelligencer
1 Annales Polonici Mathematici
1 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série
1 Bulletin of the London Mathematical Society
1 Bulletin de la Société Mathématique de France
1 Commentarii Mathematici Helvetici
1 Glasgow Mathematical Journal
1 Journal of Approximation Theory
1 Journal of Combinatorial Theory. Series A
1 Journal of Combinatorial Theory. Series B
1 Journal of Computational and Applied Mathematics
1 Journal of Mathematical Economics
1 Journal of Mathematical Psychology
1 Journal of Optimization Theory and Applications
1 Journal of Philosophical Logic
1 Kybernetika
1 Manuscripta Mathematica
1 Mathematics and Computers in Simulation
1 Mathematische Nachrichten
1 Mathematics of Operations Research
1 Numerische Mathematik
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Rendiconti del Seminario Matemàtico e Fisico di Milano
...and 62 more Serials
all top 5

Cited in 48 Fields

239 Mathematical logic and foundations (03-XX)
213 Functional analysis (46-XX)
151 Computer science (68-XX)
45 Probability theory and stochastic processes (60-XX)
36 Operator theory (47-XX)
28 Algebraic geometry (14-XX)
26 Field theory and polynomials (12-XX)
24 Operations research, mathematical programming (90-XX)
17 Combinatorics (05-XX)
17 Commutative algebra (13-XX)
17 Convex and discrete geometry (52-XX)
16 Abstract harmonic analysis (43-XX)
15 Real functions (26-XX)
14 General topology (54-XX)
14 Quantum theory (81-XX)
12 Order, lattices, ordered algebraic structures (06-XX)
11 Group theory and generalizations (20-XX)
11 Topological groups, Lie groups (22-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
9 Category theory; homological algebra (18-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
8 Number theory (11-XX)
8 Measure and integration (28-XX)
8 Functions of a complex variable (30-XX)
8 Geometry (51-XX)
8 Statistics (62-XX)
6 General algebraic systems (08-XX)
6 Associative rings and algebras (16-XX)
6 Harmonic analysis on Euclidean spaces (42-XX)
5 Dynamical systems and ergodic theory (37-XX)
4 General and overarching topics; collections (00-XX)
4 Integral transforms, operational calculus (44-XX)
3 Special functions (33-XX)
3 Differential geometry (53-XX)
2 History and biography (01-XX)
2 Partial differential equations (35-XX)
2 Approximations and expansions (41-XX)
2 Integral equations (45-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Numerical analysis (65-XX)
2 Biology and other natural sciences (92-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Difference and functional equations (39-XX)
1 Manifolds and cell complexes (57-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Relativity and gravitational theory (83-XX)
1 Systems theory; control (93-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.