Easiness in graph models von Berline, C., Salibra, A.

Volltext

Building continuous webbed models for system F von Berardi, S., Berline, C.

Volltext

Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle von Berline, C.

Volltext

Model Theory and Arithmetic: Comptes Rendus d'une Action Thematique Programmee du C. N. R. S. Sur la Theorie des Modeles et l'Arithmetique, Paris, France, 1979/80 von Berline, C, McAloon, K, Ressayre, J. -P

Volltext

Model Theory and Arithmetic: Comptes Rendus D'une Action Thématique Programmée du C.N.R.S. Sur la Théorie des Modèles et L'arithmétique, Paris, France, 1979/80 von Berline, C, McAloon, K, Ressayre, J. -P

Volltext

From computation to foundations via functions and application : The λ-calculus and its webbed models von BERLINE, Chantal

Volltext

A κ-denotational semantics for map theory in ZFC + SI von Berline, Chantal, Grue, Klaus

Volltext

Building continuous webbed models for system von BERARDI, S, BERLINE, C

Volltext

Ideaux des anneaux de Peano (d'apres Cherlin) von Berline, Chantal

Volltext

Building continuous webbed models for system F von Berardi, S., Berline, C.

Volltext

QE rings in characteristic p von Berline, C., Cherlin, G.

Volltext

Rings which admit elimination of quantifiers von Berline, Chantal

Volltext

Superstable groups von Berline, Ch, Lascar, D.

Volltext

Superstable groups; a partial answer to conjectures of cherlin and zil'ber von Berline, Ch

Volltext

Interprétations d'Arithmétiques dans des groupes et des treillis von Jambu-Giraudet, Michèle

Volltext

Theorie elementaire de la multiplication des entiers naturels von Cegielski, Patrick

Volltext

De la structure additive a la saturation des modeles de Peano et a une classification des sous-langages de l'Arithmetique von Richard, Denis

Volltext

Le théorème de MATIYASSÉVITCH et résultats connexes von Margenstern, M.

Volltext

La representation en termes de faisceaux des modeles de la theorie elementaire de la multiplication des entiers naturels von Chatzidakis, Zoè

Volltext

Les methodes de Kieby-Paris et la théorie des ensembles von Mc Aloon, Kenneth, Ressayre, Jean-Pierre

Volltext