Items where Author is "Ketland, Jeffrey"
Group by: Item Type | No Grouping Number of items: 10. Ketland, Jeffrey (2023) Equivalent Axiomatizations of Euclidean Geometry. [Preprint] Ketland, Jeffrey (2023) Axiomatization of Galilean Spacetime. [Preprint] Ketland, Jeffrey (2023) Length Abstraction in Euclidean Geometry. [Preprint] Ketland, Jeffrey (2022) Boolos’s Curious Inference in Isabelle/HOL. Archive of Formal Proofs. Ketland, Jeffrey (2022) Standard Formalization. [Preprint] Ketland, Jeffrey (2020) Foundations of Applied Mathematics I. [Preprint] Ketland, Jeffrey (2020) Bases for Structures and Theories I. Logica Universalis, 14. pp. 357-381. Ketland, Jeffrey (2020) Bases for Structures and Theories II. Logica Universalis, 14. pp. 461-479. Ketland, Jeffrey (2020) Computation and Indispensability. Logic and Logical Philosophy, 30. Ketland, Jeffrey (2002) Empirical Adequacy and Ramsification. [Preprint] |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}