7 results
The Horn theory of Boole's partial algebras
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 1 / March 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 97-105
- Print publication:
- March 2013
-
- Article
- Export citation
On the set of zero coefficients of a function satisfying a linear differential equation
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 153 / Issue 2 / September 2012
- Published online by Cambridge University Press:
- 22 February 2012, pp. 235-247
- Print publication:
- September 2012
-
- Article
- Export citation
Fine Spectra and Limit Laws, II First-Order 0–1 Laws
-
- Journal:
- Canadian Journal of Mathematics / Volume 49 / Issue 4 / 01 August 1997
- Published online by Cambridge University Press:
- 20 November 2018, pp. 641-652
- Print publication:
- 01 August 1997
-
- Article
-
- You have access
- Export citation
Fine Spectra and Limit Laws I. First-Order Laws
-
- Journal:
- Canadian Journal of Mathematics / Volume 49 / Issue 3 / 01 June 1997
- Published online by Cambridge University Press:
- 20 November 2018, pp. 468-498
- Print publication:
- 01 June 1997
-
- Article
-
- You have access
- Export citation
Decidable discriminator varieties from unary varieties
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1355-1368
- Print publication:
- December 1991
-
- Article
- Export citation
Model companions for finitely generated universal Horn classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-74
- Print publication:
- March 1984
-
- Article
- Export citation
Two Undecidability Results using Modified Boolean Powers
-
- Journal:
- Canadian Journal of Mathematics / Volume 34 / Issue 2 / 01 April 1982
- Published online by Cambridge University Press:
- 20 November 2018, pp. 500-505
- Print publication:
- 01 April 1982
-
- Article
-
- You have access
- Export citation