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

7.2 3Smi-enUobnued dCicuirst. . .. . . . ... . .. . .. ... . . . ... .. . 4 30. T3he epSraaiont ... . . .. . . . . . . .. . . . . . . . ... .. . . . . .. .0 434. Conesuqnees c. .. . .. . . . . . . ... .. . .. . . . . . . .. .. . ... . 2

4 4onMtooen Boudne dWdtihBra ncihng rogramsP.1 There 4i nsoMono onte Barrignto Gadgetn. .. .. . . .. .. . .. . . . . 46 .25 5 52356 56 59 60 2

654 1

55M notonoeL gspoae 5.1 Thec ork Functifno. . . . .. . .. .. . .. . . .. .. . . . .. ... ... . 5 ..1 1Copmuitgnthe orfkFu cntoi n..

. .. . . . . . .. . .. . . .. . . ..51. L2mits oi thn feor kFnucitn . o ... . . . . ... . . .. . ... . . ..5. 2Cmmoniuctaio nCopmlextyi 52.. 1Th Foek rGaem ... 5.3Th eLowe rBou d nStraegt 5.y4T ehA mpl ciaitonSte . .p .55 Rmares .k . ... ... . . . . . ... . ... . . ... .. . . . . .. . ... . . . .. . . .. . ... .. .. ... . . .. . . . .. . ... ... . .. . . .. . . .. . . .. .. . . . .. ... . . . .. . .. .. .. .. . . . .. .. . .. . . .. .. . . . . . ... . .. . .. .. ..6 Colisgn Porlbesm63

8