×

zbMATH — the first resource for mathematics

Berline, Chantal

Compute Distance To:
Author ID: berline.chantal Recent zbMATH articles by "Berline, Chantal"
Published as: Berline, C.; Berline, Ch.; Berline, Chantal
External Links: MGP · ORCID
Documents Indexed: 26 Publications since 1975, including 1 Book
Reviewing Activity: 66 Reviews

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 100 times in 68 Documents Cited by Year
Superstable groups. Zbl 0599.03034
Berline, Ch.; Lascar, D.
31
1986
From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models. Zbl 0949.68049
Berline, C.
15
2000
Superstable groups; a partial answer to conjectures of Cherlin and Zil’ber. Zbl 0599.03035
Berline, Ch.
11
1986
Graph models of \(\lambda\)-calculus at work, and variations. Zbl 1097.03011
Berline, Chantal
4
2006
Easiness in graph models. Zbl 1088.68034
Berline, C.; Salibra, A.
4
2006
Des gros sous-groupes abéliens pour les groupes superstables. (Big abelian subgroups for superstable groups). Zbl 0625.20027
Berline, Chantal; Lascar, Daniel
4
1987
QE rings in characteristic p. Zbl 0471.03028
Berline, C.; Cherlin, G.
4
1981
Building continuous webbed models for system F. Zbl 1079.03017
Berardi, S.; Berline, C.
3
2004
\(\beta\eta\)-complete models for system \(F\). Zbl 1029.03004
Berardi, Stefano; Berline, Chantal
3
2002
Building continuous webbed models for system \(F\). Zbl 0968.68087
Berardi, S.; Berline, C.
3
2000
A \(\kappa\)-denotational semantics for map theory in ZFC+SI. Zbl 0912.68122
Berline, Chantal; Grue, Klaus
3
1997
Rings which admit elimination of quantifiers. Zbl 0462.03007
Berline, Chantal
3
1981
Effective \(\lambda \)-models versus recursively enumerable \(\lambda \)-theories. Zbl 1186.03023
Berline, Chantal; Manzonetto, Giulio; Salibra, Antonino
2
2009
Lambda theories of effective lambda models. Zbl 1179.03020
Berline, Chantal; Manzonetto, Giulio; Salibra, Antonino
2
2007
Retractions and internal interpretation of polymorphism: The problem of universal retraction. Zbl 0751.03004
Berline, C.
2
1992
QE rings in characteristic \(p^ n\). Zbl 0524.03016
Berline, Chantal; Cherlin, Gregory
2
1983
Déviation des types dans les corps algébriquement clos. Zbl 0512.03016
Berline, Chantal
1
1983
QE nilrings of prime characteristic. Zbl 0479.03020
Berline, C.; Cherlin, G.
1
1981
Groupes nilpotents plongeables dans le demi-groupe multiplicatif d’un anneau local. Zbl 0372.20017
Berline, Chantal; Bernard, Claude-Laurent
1
1977
Catégoricité en \(\aleph_0\) du groupe linéaire d’un anneau de Boole. Zbl 0299.02058
Berline, Chantal
1
1975
Effective \(\lambda \)-models versus recursively enumerable \(\lambda \)-theories. Zbl 1186.03023
Berline, Chantal; Manzonetto, Giulio; Salibra, Antonino
2
2009
Lambda theories of effective lambda models. Zbl 1179.03020
Berline, Chantal; Manzonetto, Giulio; Salibra, Antonino
2
2007
Graph models of \(\lambda\)-calculus at work, and variations. Zbl 1097.03011
Berline, Chantal
4
2006
Easiness in graph models. Zbl 1088.68034
Berline, C.; Salibra, A.
4
2006
Building continuous webbed models for system F. Zbl 1079.03017
Berardi, S.; Berline, C.
3
2004
\(\beta\eta\)-complete models for system \(F\). Zbl 1029.03004
Berardi, Stefano; Berline, Chantal
3
2002
From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models. Zbl 0949.68049
Berline, C.
15
2000
Building continuous webbed models for system \(F\). Zbl 0968.68087
Berardi, S.; Berline, C.
3
2000
A \(\kappa\)-denotational semantics for map theory in ZFC+SI. Zbl 0912.68122
Berline, Chantal; Grue, Klaus
3
1997
Retractions and internal interpretation of polymorphism: The problem of universal retraction. Zbl 0751.03004
Berline, C.
2
1992
Des gros sous-groupes abéliens pour les groupes superstables. (Big abelian subgroups for superstable groups). Zbl 0625.20027
Berline, Chantal; Lascar, Daniel
4
1987
Superstable groups. Zbl 0599.03034
Berline, Ch.; Lascar, D.
31
1986
Superstable groups; a partial answer to conjectures of Cherlin and Zil’ber. Zbl 0599.03035
Berline, Ch.
11
1986
QE rings in characteristic \(p^ n\). Zbl 0524.03016
Berline, Chantal; Cherlin, Gregory
2
1983
Déviation des types dans les corps algébriquement clos. Zbl 0512.03016
Berline, Chantal
1
1983
QE rings in characteristic p. Zbl 0471.03028
Berline, C.; Cherlin, G.
4
1981
Rings which admit elimination of quantifiers. Zbl 0462.03007
Berline, Chantal
3
1981
QE nilrings of prime characteristic. Zbl 0479.03020
Berline, C.; Cherlin, G.
1
1981
Groupes nilpotents plongeables dans le demi-groupe multiplicatif d’un anneau local. Zbl 0372.20017
Berline, Chantal; Bernard, Claude-Laurent
1
1977
Catégoricité en \(\aleph_0\) du groupe linéaire d’un anneau de Boole. Zbl 0299.02058
Berline, Chantal
1
1975

Citations by Year