pith. sign in

Iosif Petrakis

Identifiers

  • name variant Iosif Petrakis 0.60 · backfill

Papers (19)

  1. Constructive Stone representations for separated swap and Boolean algebras math.LO · 2026 · author #2
  2. Orthocomplemented subspaces and partial projections on a Hilbert space quant-ph · 2025 · author #1
  3. Coinductive well-foundedness math.LO · 2025 · author #1
  4. The Grothendieck computability model math.CT · 2024 · author #2
  5. Topologies of open complemented subsets math.GN · 2023 · author #1
  6. Categories with dependent arrows math.CT · 2023 · author #1
  7. Strong negation in the theory of computable functionals TCF math.LO · 2022 · author #2
  8. The Role of the Fifth Postulate in the Euclidean Construction of Parallels math.HO · 2022 · author #1
  9. Sets completely separated by functions in Bishop Set Theory math.LO · 2022 · author #1
  10. Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory math.LO · 2022 · author #1
  11. Constructive Combinatorics of Dickson's Lemma math.CO · 2022 · author #1
  12. Univalent typoids math.CT · 2022 · author #1
  13. From the Sigma-type to the Grothendieck construction math.CT · 2021 · author #1
  14. Families of Sets in Bishop Set Theory math.LO · 2021 · author #1
  15. Chu representations of categories related to constructive mathematics math.CT · 2021 · author #1
  16. Computability models over categories math.CT · 2021 · author #1
  17. Closed subsets in Bishop topological groups math.GR · 2021 · author #1
  18. Direct spectra of Bishop spaces and their limits math.LO · 2019 · author #1
  19. McShane-Whitney extensions in constructive analysis math.LO · 2018 · author #1

Mentions

  • 2508.15906 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2506.16433 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2210.05491 #2 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2312.17095 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2207.08684 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2404.17923 #2 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 1907.03273 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 1804.06757 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2303.14754 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2208.10835 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2208.07826 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2205.06651 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2204.11298 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2109.04239 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2109.04183 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2106.01878 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2105.06933 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2103.04718 #1 · arxiv_oai · confidence 0.70 Iosif Petrakis
  • 2606.08176 #2 · arxiv_oai · confidence 0.70 Iosif Petrakis

Frequent Coauthors