The metamathematics of model theory: Discovering language in action
Journal of Symbolic Logic 46 (3):490-498 (1981)
| Abstract | We discuss the problem of defining the collection of first-order elementary classes in terms of the natural topological space of countable models | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRichard Kaye (1991). Model-Theoretic Properties Characterizing Peano Arithmetic. Journal of Symbolic Logic 56 (3):949-963.
Benoît Mariou (2001). Modèles Saturés Et Modèles Engendrés Par Des Indiscernables. Journal of Symbolic Logic 66 (1):325-348.
Carl Mummert & Stephen G. Simpson (2004). An Incompleteness Theorem for $\Beta_{N}-Models$. Journal of Symbolic Logic 69 (2):612 - 616.
Tim Button (2011). The Metamathematics of Putnam's Model-Theoretic Arguments. Erkenntnis 74 (3):321-349.
A. I. Malʹt͡sev (1971). The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967. Amsterdam,North-Holland Pub. Co..
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,830 of 549,078 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
