19 citations · 123 across the 26 of their papers we have counts for
27 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…
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…
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 metr…
From integrals to combinatorial formulas of finite type invariants -- a case study
Robyn Brooks, Rafal Komendarczyk
We obtain a localized version of the configuration space integral for the Casson knot invariant, where the standard symmetric Gauss form is replaced with a locally supported form.…
Diagrams for primitive cycles in spaces of pure braids and string links
Rafal Komendarczyk, Robin Koytcheff, Ismar Volic
The based loop space of a configuration space of points in a Euclidean space can be viewed as a space of pure braids in a Euclidean space of one dimension higher. We continue our s…