PhilSci Archive

Items where Author is "Ketland, Jeffrey"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.

Preprint

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) Standard Formalization. [Preprint]

Ketland, Jeffrey (2020) Foundations of Applied Mathematics I. [Preprint]

Ketland, Jeffrey (2002) Empirical Adequacy and Ramsification. [Preprint]

Published Article or Volume

Ketland, Jeffrey (2022) Boolos’s Curious Inference in Isabelle/HOL. Archive of Formal Proofs.

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.

This list was generated on Sat Jun 15 08:24:18 2024 EDT.