Record link: 
http://hdl.handle.net/20.500.12708/190509
-
Title: 
The reverse mathematics of ω-automata
en
Citation: 
Kawakami Pacheco L. (2023, September 9). The reverse mathematics of ω-automata [Conference Presentation]. 若手による 数理論理学研究集会, Japan.
-
Publication Type: 
Presentation - Conference Presentation
en
Language: 
Japanese
-
Authors: 
Kawakami Pacheco, Leonardo 
-
Organisational Unit: 
E104-02 - Forschungsbereich Computational Logic 
-
Date (published): 
9-Sep-2023
-
Event name: 
若手による 数理論理学研究集会 
ja
Event date: 
9-Sep-2023 - 10-Sep-2023
-
Event place: 
Japan
-
Keywords: 
reverse mathematics; automata theory; wagner hierarchy
en
Abstract: 
I will review some recent results on the reverse mathematics of automata on infinite words. This is still a new subarea of reverse mathematics, but it already touches very weak and very strong subsystems of second order arithmetic. I also comment on some of my recent research on the reverse mathematics of the Wagner hierarchy.
en
Link (external): 
https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43
-
Research Areas: 
Logic and Computation: 80%
Computer Science Foundations: 20%
-
Science Branch: 
1020 - Informatik: 5%
1010 - Mathematik: 95%
-
Appears in Collections:
Presentation

Show full item record

Page view(s)

49
checked on Dec 20, 2023

Google ScholarTM

Check