C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Balthasar Grabmayr
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Color Images
Von Neumann
Data Mining
Invariant Properties
Top Venues
J. Philos. Log.
Rev. Symb. Log.
</>
Publications
</>
Balthasar Grabmayr
A Step Towards Absolute Versions of Metamathematical Results.
J. Philos. Log.
53 (1) (2024)
Balthasar Grabmayr
,
Volker Halbach
,
Lingyuan Ye
Varieties of Self-Reference in Metamathematics.
J. Philos. Log.
52 (4) (2023)
Balthasar Grabmayr
On the invariance of Gödel's second Theorem with regard to Numberings.
Rev. Symb. Log.
14 (1) (2021)