Tressl, Marcus (2005) Model completeness of o-minimal structures expanded by Dedekind cuts. Journal of Symbolic Logic, 70 (1). pp. 29-60. ISSN 0022-4812
PDF
Model_Completeness.pdf Restricted to Registered users only Download (314kB) |
Official URL: http://projecteuclid.org/DPubS?service=UI&version=...
Item Type: | Article |
---|---|
Subjects: | MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations MSC 2010, the AMS's Mathematics Subject Classification > 12 Field theory and polynomials |
Depositing User: | Ms Lucy van Russelt |
Date Deposited: | 20 Nov 2007 |
Last Modified: | 20 Oct 2017 14:12 |
URI: | https://eprints.maths.manchester.ac.uk/id/eprint/932 |
Actions (login required)
View Item |