Definability and Invariance

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

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Contemporary Significance of Confucianism.Tang Yijie & Yan Xin - 2008 - Frontiers of Philosophy in China 3 (4):477-501.
The Hiddenness Argument Revisited.J. L. Schellenberg - 2005 - Religious Studies 41 (3):287-303.
Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents.Peter J. Taylor - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304-310.
How Bad Is Rape?H. E. Baber - 1987 - Hypatia 2 (2):125-138.

Analytics

Added to PP
2009-01-28

Downloads
43 (#368,455)

6 months
7 (#421,763)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Abilio Rodrigues
Federal University of Minas Gerais

Citations of this work

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 8 citations / Add more citations

References found in this work

What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.

View all 7 references / Add more references