Uniform model-completeness for the real field expanded by power functions
Journal of Symbolic Logic 75 (4):1441-1461 (2010)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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 |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesHassan Sfouli (2012). On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions. Notre Dame Journal of Formal Logic 53 (1):67-77.
Saharon Shelah (1973). Weak Definability in Infinitary Languages. Journal of Symbolic Logic 38 (3):399-404.
Douglas N. Hoover (1987). An Analytic Completeness Theorem for Logics with Probability Quantifiers. Journal of Symbolic Logic 52 (3):802-816.
Ali Bleybel (2010). The Field of LE-Series with a Nonstandard Analytic Structure. Notre Dame Journal of Formal Logic 52 (3):255-265.
Jean-Marie Lion (2002). Finitude Simple Et Structures o-Minimales (Finiteness Property Implies o-Minimality). Journal of Symbolic Logic 67 (4):1616-1622.
Marcus Tressl (2005). Model Completeness of O-Minimal Structures Expanded by Dedekind Cuts. Journal of Symbolic Logic 70 (1):29 - 60.
Greg Bishop (1995). Ultrafilters Generated by a Closed Set of Functions. Journal of Symbolic Logic 60 (2):415-430.
Michael Dummett (2000). Is Time a Continuum of Instants? Philosophy 75 (4):497-515.
António M. Fernandes & Fernando Ferreira (2002). Groundwork for Weak Analysis. Journal of Symbolic Logic 67 (2):557-578.
Françoise Delon & Danielle Gondard (1991). XVIIème Problème de Hilbert Sur Les Corps Chaîne-Clos. Journal of Symbolic Logic 56 (3):853-861.
Harold T. Hodes (1982). Jumping to a Uniform Upper Bound. Proceedings of the American Mathematical Society 85 (4):600-602.
W. Balzer & M. Reiter (1989). Completeness for Systems Including Real Numbers. Studia Logica 48 (1):67 - 75.
Masanao Ozawa (1995). Scott Incomplete Boolean Ultrapowers of the Real Line. Journal of Symbolic Logic 60 (1):160-171.
Dennis L. Krebs, Kathy Denton & Gillian Wark (1997). The Forms and Functions of Real‐Life Moral Decision‐Making. Journal of Moral Education 26 (2):131-145.
Analytics
Monthly downloads |
Added to index2010-09-12Total downloads3 ( #202,008 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
