Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.author
Rossegger, Dino
-
dc.date.accessioned
2025-01-02T08:47:26Z
-
dc.date.available
2025-01-02T08:47:26Z
-
dc.date.issued
2024-01-14
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Rossegger, D. (2024, January 14). <i>The Borel complexity of first-order theories</i> [Conference Presentation]. World Logic Day, Kazakhstan.</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/207304
-
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.subject
first order theories
en
dc.subject
Borel hierarchy
en
dc.subject
countable models
en
dc.title
The Borel complexity of first-order theories
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
101026834
-
dc.type.category
Conference Presentation
-
tuw.publication.invited
invited
-
tuw.project.title
Algorithmische Komplexität von Strukturen und deren Äquivalenzrelationen
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.author.orcid
0000-0003-3494-9049
-
tuw.event.name
World Logic Day
en
tuw.event.startdate
14-01-2024
-
tuw.event.enddate
14-01-2024
-
tuw.event.online
Online
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
KZ
-
tuw.event.presenter
Rossegger, Dino
-
tuw.presentation.online
Online
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.languageiso639-1
en
-
item.openairetype
conference paper not in proceedings
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.orcid
0000-0003-3494-9049
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.project.funder
European Commission
-
crisitem.project.grantno
101026834
-
Appears in Collections:
Presentation
Show simple item record
Page view(s)
21
checked on Jan 3, 2025
Google Scholar
TM
Check