4 citations · 12 across the 20 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
quant-ph2025
Orthocomplemented subspaces and partial projections on a Hilbert space
Iosif Petrakis
We introduce the notion of an orthocomplemented subspace of a Hilbert space H, that is, a pair of orthogonal closed subspaces of H, as a two-dimensional counterpart to the one-dime…
math.LO2025
Coinductive well-foundedness
Iosif Petrakis
We introduce a coinductive version of the well-foundedness of N that is used in our proof within minimal logic of the constructive counterpart CLNP to the standard least number pri…