#### Filter Results:

#### Publication Year

1981

2015

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- H. P. Sankappanavar, Stanley Burris, Sanjay Sankappanavar
- 1981

Compton's method of proving monadic second order limit laws is based on analyzing the generating function of a class of ¯nite structures. For applications of his deeper results we previously relied on asymptotics obtained using Cauchy's integral formula. In this paper we develop elementary techniques, based on a Tauberian theorem of Schur (as well as a… (More)

- Stanley Burris, John Lawrence
- J. Symb. Comput.
- 1993

- Stanley Burris
- Math. Log. Q.
- 1995

- Jason P. Bell, Stanley Burris
- Electr. J. Comb.
- 2004

The Sandwich Theorems proved in this paper give a new method to show that the partition function a(n) of a partition identity A(x) := ∞ n=0 a(n)x n = ∞ n=1 (1 − x n) −p(n) satisfies the condition RT 1 lim n→∞ a(n − 1) a(n) = 1. This leads to numerous examples of naturally occuring classes of relational structures whose finite members enjoy a logical 0–1 law.

- Jason P. Bell, Stanley Burris, Karen A. Yeats
- Electr. J. Comb.
- 2006

Combinatorial classes T that are recursively defined using combinations of the standard multiset, sequence, directed cycle and cycle constructions , and their restrictions, have generating series T(z) with a positive radius of convergence; for most of these a simple test can be used to quickly show that the form of the asymptotics is the same as that for… (More)

- Stanley Burris
- J. Symb. Comput.
- 1992

- Stanley Burris
- 2000

The algebra of logic developed by Boole was not Boolean algebra. In this article we give a natural framework that allows one to easily reconstruct his algebra and see the difficulties it created for his successors. It is well known that modern Boolean algebra is connected with the work of George Boole [1815–1864], namely with his two books on a mathematical… (More)

- Stanley Burris, Ralph McKenzie, Matthew Valeriote
- J. Symb. Log.
- 1991

We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.

- S. BURRIS, R. WILLARD
- 2009

Given a finite set A there are only finitely many sequences of the form (Con(An))n>, or (Hom(An, A))n>1; where A is any algebra on A. From this we derive the fact that there are only finitely many primitive positive clones on A, which solves a problem posed by A. F. Danil'ienko in the 1970s. Consequently there are only finitely many model companions for… (More)