In this work we study complexity classes in monotone computation. Our main contributions are the following: ffl A consistent framework for monotone computation, including monotone analogues of many standard computational models. We define monotone simulati

Lsi tfo Figreus1-1compl xeit myps .a .. . . . . . . . .. .. . . . . ... . ... . . .. . .. . 162 1- nonetdermniitsc monioont einpu trtanitsoisn . . . ... . . .. .. . . . . . .2 43- 1niveat hrseohdlk -brnchang priogrma. . .. .. . . . . . ... . . . .. ... 38 -41a idthw to mBWBP wfunctin .o. . .. . .. .. . .. . ... .. . . . . . .545- 5-21 5-3 5-4 edrctuoisnto ofrk. .. . . .. . . intermm san damtxrem of sfoukr. t h efrk gomae . . . . . .. . . .. .am plfyiign th foek garm e . ... . .. .. . . .. .. . .. . . . . . . .. . . . ... ... . . .. .. ... . . . ... ... . .. . .. . . . .. ... .. .. . . ... . . ... .. . . .. . . . . . ... . 55.57 58 6 1

9

10