|
Deep Blue at the University of Michigan >
All Collections >
Mathematics, Department of >
|
Please use this persistent URL to cite or link to this item:
|
| Title: | Sperner spaces and first-order logic |
| Authors: | Blass, Andreas Pambuccian, Victor |
| Issue Date: | 27-Jan-2003 |
| Publisher: | Wiley |
| Citation: | Blass, A.; Pambuccian, V. "Sperner spaces and first order logic." Mathematical Logic Quarterly vol. 49, no. 2 (March, 2003), 111-114. <http://hdl.handle.net/2027.42/61173> |
| Abstract: | We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo-elementary class, it is not elementary nor even ℒ[sub]∞ω-axiomatizable. We also axiomatize the first-order theory of this class. |
| URI: | http://dx.doi.org/10.1002/malq.200310011 |
| DOI: | 10.1002/malq.200310011 |
| Appears in Collections: | Mathematics, Department of Interdisciplinary and Peer-Reviewed
|
Files in This Item:
| File |
Description |
Size | Format | |
| Sperner.pdf | | 78Kb | Adobe PDF | View/Open |
|
Deep Blue encourages the fair use of copyrighted material, and you are free to link to content here without asking for permission. Consult the document(s) and/or contact the copyright holder for additional rights questions and requests.
|