Manuscrito 34 (1):151-183 (2011)

Otávio Bueno
University of Miami
This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva ). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva’s notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of structures
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1590/S0100-60452011000100008
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: 62,513
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Semantic Analysis of Non-Reflexive Logics.J. R. B. Arenhart - 2014 - Logic Journal of the IGPL 22 (4):565-584.

Add more citations

Similar books and articles

A Topology for Galois Types in Abstract Elementary Classes.Michael Lieberman - 2011 - Mathematical Logic Quarterly 57 (2):204-216.
An Invitation to Model-Theoretic Galois Theory.Alice Medvedev & Ramin Takloo-Bighash - 2010 - Bulletin of Symbolic Logic 16 (2):261 - 269.
Remarks on Galois Cohomology and Definability.Anand Pillay - 1997 - Journal of Symbolic Logic 62 (2):487-492.


Added to PP index

Total views
22 ( #491,145 of 2,446,439 )

Recent downloads (6 months)
1 ( #456,608 of 2,446,439 )

How can I increase my downloads?


My notes