Théorème de Los

Martial

Bonjour à tous,

C'est plus une question d'histoire que de logique. Quelqu'un sait-il de quelle année date le théorème de Los ?

(Google n'a pas l'air de le savoir).

Merci d'avance

Martial

Médiat_Suprème

Je dirais 1955 dans "Quelques remarques, théorèmes et problèmes sur les classes définissables d’algèbres, "

Martial

@Médiat_Suprème  : Merci pour l'info.

J'ai posé cette question car je suis assez surpris, en lisant par exemple "Non standard analysis" d'Abraham Robinson (1966, réédité en 1974), ou même des textes plus récents comme Edward Nelson : "Internal set theory : a new approach to nonstandard analysis" (1977) que les auteurs emploient des périphrases de 10 km de long pour expliquer que tout ce qui est au premier ordre et qui est vrai dans un truc reste vrai dans une ultrapuissance du truc... au lieu de tout simplement citer le théorème de Los.

Du coup je me demande si ce dernier n'a pas mis un certain temps à faire son chemin avant d'être un well-known result.