Michael Moses

发表

Supporting local learning and adaptation: Understanding the effectiveness of adaptive processes

Michael Moses, Sue Soal, Michael Moses, 2017 .

Decidable Discrete Linear Orders

Michael Moses, 1988, J. Symb. Log..

The Block Relation in Computable Linear Orders

Michael Moses, 2011, Notre Dame J. Formal Log..

Recursive linear orders with recursive successivities

Michael Moses, 1984, Ann. Pure Appl. Log..

Relations Intrinsically Recursive in Linear Orders

Michael Moses, Michael F. Moses, 1986, Math. Log. Q..

An Undecidable Linear Order That Is n-Decidable for All n

John Chisholm, Michael Moses, 1998, Notre Dame J. Formal Log..

n-Recursive Linear Orders without (n+1)-Recursive Copies

Michael Moses, 1993 .