MoL-2022-22: Lide Grotenhuis Natural Axiomatic Theories and Consistency Strength: A Lakatosian Approach to the Linearity Conjecture 1.Full Text, 2.Abstract. < Back