Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Petrakis, Iosif
22
Ergebnisse:
OpenAccess-Volltexte X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
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