1 citations · 1 across the 4 of their papers we have counts for
4 papers
The Grothendieck computability model
Luis Gambarte, Iosif Petrakis
Translating notions and results from category theory to the theory of computability models of Longley and Normann, we introduce the Grothendieck computability model and the first-p…
Categories with dependent arrows
Iosif Petrakis
We present an abstract, categorical formulation of dependent functions in a fundamental manner and independently from the Sigma-construction. For that, we define first the notion o…
The Role of the Fifth Postulate in the Euclidean Construction of Parallels
Iosif Petrakis
We ascribe to the Euclidean Fifth Postulate a genuine constructive role, which makes it absolutely necessary in the parallel construction. For that, we present a reconstruction of…
Sets completely separated by functions in Bishop Set Theory
Iosif Petrakis
Within Bishop Set Theory, a reconstruction of Bishop's theory of sets, we study the so-called completely separated sets, that is sets equipped with a positive notion of an inequali…