Patrick Lutz

Available identifiers

Publication	Date of Publication	Type
A theory satisfying a strong version of Tennenbaum's theorem	2023-09-20	Paper
Conway and Doyle Can Divide by Three, But I Can't	2023-09-20	Paper
A Note on a Conjecture of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders	2023-09-04	Paper
Coding information into all infinite subsets of a dense set	2023-06-01	Paper
The Solecki Dichotomy and the Posner-Robinson Theorem are Almost Equivalent	2023-01-17	Paper
Formalizing Galois Theory	2022-08-03	Paper
Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions	N/A	Paper
Martin's conjecture for regressive functions on the hyperarithmetic degrees	N/A	Paper

This page was built for person: Patrick Lutz