4 papers
A Formalization of Austrian Economics. Praxeological Foundations: The Base System and Its Derived Theorems
RafaÅ Komendarczyk, Walter E. Block, John Levendis +1
This paper presents an axiomatization of Ludwig von Mises' praxeology in many-sorted first-order logic, isolating the foundational layer. We introduce a formal language with five s…
Vietoris--Rips Shadow for Euclidean Graph Reconstruction
Rafal Komendarczyk, Sushovan Majhi, Atish Mitra
The shadow of an abstract simplicial complex with vertices in is a subset of defined as the union of the convex hulls of simplices of . The Vie…
Topological Stability and Latschev-type Reconstruction Theorems for Spaces of Curvature Bounded Above
Rafal Komendarczyk, Sushovan Majhi, Will Tran
We consider the problem of homotopy-type reconstruction of compact subsets that have the Alexandrov curvature bounded above ( ) in the intrinsic length met…
Milnor invariants and thickness of spherical links
RafaÅ Komendarczyk, Robin Koytcheff, Fedor Manin
The ropelength of a knot or link is the minimal number of inches of 1-inch-thick rope that it takes to tie it. The relationship of this measurement to knot and link invariants has…