An institution-independent proof of the Beth definability theorem
Studia Logica 85 (3):333 - 359 (2007)
| Abstract | A few results generalizing well-known classical model theory ones have been obtained in institution theory these last two decades (e.g. Craig interpolation, ultraproduct, elementary diagrams). In this paper, we propose a generalized institution-independent version of the Beth definability theorem | |||||||||
| 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJeffrey Ketland (2009). Beth's Theorem and Deflationism — Reply to Bays. Mind 118 (472):1075-1079.
Mark Howard (1988). A Proofless Proof of the Barwise Compactness Theorem. Journal of Symbolic Logic 53 (2):597-602.
Finn V. Jensen (1974). Interpolation and Definability in Abstract Logics. Synthese 27 (1-2):251 - 257.
George Weaver (1994). A Note on Definability in Equational Logic. History and Philosophy of Logic 15 (2):189-199.
Daniel Gâinâ & Andrei Popescu (2007). An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85 (1).
Eva Hoogland (2000). Algebraic Characterizations of Various Beth Definability Properties. Studia Logica 65 (1):91-112.
Mihai Prunescu (2002). An Isomorphism Between Monoids of External Embeddings About Definability in Arithmetic. Journal of Symbolic Logic 67 (2):598-620.
Daniel Găină & Andrei Popescu (2007). An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85 (1):41 - 73.
Răzvan Diaconescu (2004). An Institution-Independent Proof of Craig Interpolation Theorem. Studia Logica 77 (1):59 - 79.
Marius Petria & Răzvan Diaconescu (2006). Abstract Beth Definability in Institutions. Journal of Symbolic Logic 71 (3):1002 - 1028.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
