collaborators

1 paper

math.LO2025

The fine structure of operator mice

Farmer Schlutzenberg, Nam Trang

We develop the fine structure theory of operator-premice. These are a generalization of standard premice, in which an abstract operator is used to form the successor steps in t…