513 search results - page 21 / 103 » Finitely Based, Finite Sets of Words |
JSYML
2007
13 years 8 months ago
2007
We give an application of the extender based Radin forcing to cardinal arithmetic. Assuming κ is a large enough cardinal we construct a model satisfying 2κ = κ+n together with 2...
ORDER
2006
13 years 8 months ago
2006
We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by the...
CSJM
2008
13 years 8 months ago
2008
A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an inpu...
IPL
2006
13 years 8 months ago
2006
In the past 5 years, a series of verification algorithms has been proposed for infinite Markov chains that have a finite attractor, i.e., a set that will be visited infinitely oft...
SIAMSC
2008
13 years 8 months ago
2008
In this paper, we propose a stochastic mixed multiscale finite element method. The proposed method solves the stochastic porous media flow equation on the coarse grid using a set ...