Graduate studies at Western
Studia Logica 86 (1):1 - 30 (2007)
|Abstract||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||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
N. C. A. Costdaa & A. A. M. Rodrigues (2007). Definability and Invariance. Studia Logica 86 (1).
José Sebastião E. Silva & A. J. Franco de Oliveira (1985). On Automorphisms of Arbitrary Mathematical Systems. History and Philosophy of Logic 6 (1):91-116.
Marius Petria & Răzvan Diaconescu (2006). Abstract Beth Definability in Institutions. Journal of Symbolic Logic 71 (3):1002 - 1028.
M. Aiguier & F. Barbier (2007). An Institution-Independent Proof of the Beth Definability Theorem. Studia Logica 85 (3):333 - 359.
Mihai Prunescu (2002). An Isomorphism Between Monoids of External Embeddings About Definability in Arithmetic. Journal of Symbolic Logic 67 (2):598-620.
Natasha Kurtonina & Maarten de Rijke (1997). Bisimulations for Temporal Logic. Journal of Logic, Language and Information 6 (4):403-425.
Mario Castagnino, Manuel Gadella & Olimpia Lombardi, Time-Reversal Invariance and Irreversibility in Time-Asymmetric Quantum Mechanics.
Solomon Feferman (2010). Set-Theoretical Invariance Criteria for Logicality. Notre Dame Journal of Formal Logic 51 (1):3-20.
George Weaver (1994). A Note on Definability in Equational Logic. History and Philosophy of Logic 15 (2):189-199.
Maarten de Rijke (2000). A Note on Graded Modal Logic. Studia Logica 64 (2):271-283.
Maarten De Rijke (2000). A Note on Graded Modal Logic. Studia Logica 64 (2):271 - 283.
R. Statman (1982). Completeness, Invariance and Λ-Definability. Journal of Symbolic Logic 47 (1):17-26.
Nancy Cartwright (2003). Two Theorems on Invariance and Causality. Philosophy of Science 70 (1):203-224.
Johan van Benthem & Dag Westerståhl (1995). Directions in Generalized Quantifier Theory. Studia Logica 55 (3):389-419.
Added to index2011-05-29
Total downloads6 ( #154,981 of 739,396 )
Recent downloads (6 months)1 ( #61,778 of 739,396 )
How can I increase my downloads?