On automorphisms of arbitrary mathematical systems
History and Philosophy of Logic 6 (1):91-116 (1985)
| Abstract | Translator's summary The translated paper is an extract, published in 1945, of an unpublished thesis, of both historical and technical import, dealing with notions of definability and their relation to invariance under automorphisms. The author develops a metamathematical Galois theory, and discusses and anticipates some aspects of higher-order model theory in an informal but conceptually rich manner | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesN. C. A. Costdaa & A. A. M. Rodrigues (2007). Definability and Invariance. Studia Logica 86 (1).
Peter Cholak (1995). Automorphisms of the Lattice of Recursively Enumerable Sets. American Mathematical Society.
José Ferreirós (2011). On Arbitrary Sets and ZFC. Bulletin of Symbolic Logic 17 (3):361-393.
Leo Harrington & Robert I. Soare (1996). Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets. Bulletin of Symbolic Logic 2 (2):199-213.
Siegfried Gottwald (2008). Mathematical Fuzzy Logics. The Bulletin of Symbolic Logic 14 (2):210 - 239.
N. C. A. Da Costa & A. A. M. Rodrigues (2007). Definability and Invariance. Studia Logica 86 (1):1 - 30.
A. S. Morozov & J. K. Truss (2001). On Computable Automorphisms of the Rational Numbers. Journal of Symbolic Logic 66 (3):1458-1470.
Kevin Wald (2002). On Orbits of Prompt and Low Computably Enumerable Sets. Journal of Symbolic Logic 67 (2):649-678.
Alice Medvedev & Ramin Takloo-Bighash (2010). An Invitation to Model-Theoretic Galois Theory. The Bulletin of Symbolic Logic 16 (2):261 - 269.
Analytics
Monthly downloads |
Added to index2010-08-10Total downloads5 ( #160,368 of 549,093 )Recent downloads (6 months)1 ( #63,317 of 549,093 )How can I increase my downloads? |
My notes
Discussion
