Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Petrakis, Iosif
22  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Categories with dependent arrows:

Petrakis, Iosif
http://arxiv.org/abs/2303.14754.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Topologies of open complemented subsets:

Petrakis, Iosif
http://arxiv.org/abs/2312.17095.  , 2023
Link: http://arxiv.org/abs/231..
 
?
3

Univalent typoids:

Petrakis, Iosif
http://arxiv.org/abs/2205.06651.  , 2022
Link: http://arxiv.org/abs/220..
 
?
4

Pre-measure spaces and pre-integration spaces in predicativ..:

Petrakis, Iosif ; Zeuner, Max
http://arxiv.org/abs/2207.08684.  , 2022
Link: http://arxiv.org/abs/220..
 
?
5

The Role of the Fifth Postulate in the Euclidean Constructi..:

Petrakis, Iosif
http://arxiv.org/abs/2208.10835.  , 2022
Link: http://arxiv.org/abs/220..
 
?
6

Strong negation in the theory of computable functionals TCF:

Köpp, Nils ; Petrakis, Iosif
http://arxiv.org/abs/2210.05491.  , 2022
Link: http://arxiv.org/abs/221..
 
?
7

Sets completely separated by functions in Bishop Set Theory:

Petrakis, Iosif
http://arxiv.org/abs/2208.07826.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

Constructive Combinatorics of Dickson's Lemma:

Petrakis, Iosif
http://arxiv.org/abs/2204.11298.  , 2022
Link: http://arxiv.org/abs/220..
 
?
9

Computability models over categories:

Petrakis, Iosif
http://arxiv.org/abs/2105.06933.  , 2021
Link: http://arxiv.org/abs/210..
 
?
10

Closed subsets in Bishop topological groups:

Petrakis, Iosif
http://arxiv.org/abs/2103.04718.  , 2021
Link: http://arxiv.org/abs/210..
 
?
11

From the Sigma-type to the Grothendieck construction:

Petrakis, Iosif
http://arxiv.org/abs/2109.04239.  , 2021
Link: http://arxiv.org/abs/210..
 
?
12

Families of Sets in Bishop Set Theory:

Petrakis, Iosif
http://arxiv.org/abs/2109.04183.  , 2021
Link: http://arxiv.org/abs/210..
 
?
13

Chu representations of categories related to constructive m..:

Petrakis, Iosif
http://arxiv.org/abs/2106.01878.  , 2021
Link: http://arxiv.org/abs/210..
 
?
14

Direct spectra of Bishop spaces and their limits:

Petrakis, Iosif
http://arxiv.org/abs/1907.03273.  , 2019
Link: http://arxiv.org/abs/190..
 
?
15

Dependent Sums and Dependent Products in Bishop's Set Theor:

Petrakis, Iosif
Is Part Of LIPIcs, Volume 130, 24th International Conference on Types for Proofs and Programs (TYPES 2018).  , 2019
Link: https://doi.org/10.4230/..
 
1-15