Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 60 (1976) no. 13

Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975)

Sommaire

Avertissement

p. 3 (Pages préliminaires)

Interpreting set theory in the endomorphism semi-group of a free algebra or in a category

Shelah, Saharon

p. 1-29

Informal proofs formally checked by machine

Aiello, Luigia ; Aiello, Mario ; Attardi, Giuseppe ; Prini, Gianfranco

p. 31-53

Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz

Becchio, Denise

p. 55-73

Problems in Boolean algebras

p. 75

Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible

p. 77-80

Another approach to infinite forcing

Hirschfeld, Joram

p. 81-86

Polythéorie de Galois abstraite dans le cas infini général

p. 87-91

Failure of completeness properties of intuitionistic predicate logic for constructive models

Leivant, Daniel

p. 93-107

Some constructive topological properties of function spaces

Margenstern, Maurice

p. 109-115

Representation theorem for finite quasi-boolean algebras

Muškardin, Virgilio

p. 117-128

The theory of boolean algebras with a distinguished subalgebra is undecidable

Rubin, Matatyahu

p. 129-134

The model-completion of Stone algebras

Schmitt, Peter H.

p. 135-155

On the principle square : coding and extending embeddings

p. 157-165