Balthasar Grabmayr

According to our database, Balthasar Grabmayr authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A Step Towards Absolute Versions of Metamathematical Results.

Balthasar Grabmayr

J. Philos. Log., February, 2024

2023

Varieties of Self-Reference in Metamathematics.

Balthasar Grabmayr, Volker Halbach, Lingyuan Ye

J. Philos. Log., August, 2023

Self-Reference Upfront: a Study of Self-Referential Gödel Numberings.

Balthasar Grabmayr, Albert Visser

Rev. Symb. Log., June, 2023

2021

On the invariance of Gödel's second Theorem with regard to Numberings.

Balthasar Grabmayr

Rev. Symb. Log., 2021