JavaScript is disabled for your browser. Some features of this site may not work without it.
Sperner spaces and first-order logic
Blass, Andreas; Pambuccian, Victor
2003-01-27
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.
