Studia Logica 86 (1):1-30 (2007)

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we tried to keep in mind, so much as possible, the gist of his standpoint
Keywords Definability  Invariance  Galois Theory  Generalized Galois Theory  Model Theory
Categories (categorize this paper)
DOI 10.1007/s11225-007-9049-6
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
Through your library

References found in this work BETA

Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
What Are Logical Notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
A Shorter Model Theory.Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-134.
[Omnibus Review].Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.

View all 11 references / Add more references

Citations of this work BETA

What Do Symmetries Tell Us About Structure?Thomas William Barrett - 2017 - Philosophy of Science (4):617-639.
On Kinds of Indiscernibility in Logic and Metaphysics.Adam Caulton & Jeremy Butterfield - 2012 - British Journal for the Philosophy of Science 63 (1):27-84.
Structural Realism and the Nature of Structure.Jonas R. Becker Arenhart & Otávio Bueno - 2015 - European Journal for Philosophy of Science 5 (1):111-139.
Quantum Mechanics: Ontology Without Individuals.Newton da Costa & Olimpia Lombardi - 2014 - Foundations of Physics 44 (12):1246-1257.
Invariance and Definability, with and Without Equality.Denis Bonnay & Fredrik Engström - 2018 - Notre Dame Journal of Formal Logic 59 (1):109-133.

View all 14 citations / Add more citations

Similar books and articles


Added to PP index

Total views
72 ( #163,269 of 2,533,631 )

Recent downloads (6 months)
1 ( #389,998 of 2,533,631 )

How can I increase my downloads?


My notes