Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Maass, Wolfgang, Fine Structure Theory of the Constructible Universe in $\alpha$- and $\beta$-Recursion Theory (1978)
Maass, Wolfgang, A Countable Basis for $\Sigma_2^1$ Sets and Recursion Theory on $\aleph_1$ (1980)
Maass, Wolfgang, Recursively Invariant $\beta$-Recursion Theory (1981)
Maass, Wolfgang, Recursively Enumerable Generic Sets (1983)
Maass, Wolfgang ; Shore, Richard A. ; Stob, Michael, Splitting Properties and Jump Classes (1981)
MacDowell, R. ; Specker, E., Modelle der Arithmetik (1959)
MacLane, S., Locally Small Categories and the Foundations of Set Theory (1959)
MacLane, Saunders, Categorical Algebra (1963)
MacMillan, Paul S., Some Results Concerning Scott Sets and Peanolike Theories (1996)
Maddux, Roger, Deduction Theorem for $L^x$ (1973)