Albert Visser
Affiliations: | 1998-2016 | Philosophy | Utrecht University, Utrecht, Netherlands |
Area:
Logic, Foundations of MathematicsWebsite:
https://www.uu.nl/staff/AVisserGoogle:
"Albert Visser"Bio:
https://knaw.nl/nl/leden/leden/6718
http://profs.library.uu.nl/index.php/profrec/getprofdata/2206/12/21/0
https://www.phil.uu.nl/profiel/albert.visser/
https://www.uu.nl/en/events/retirement-albert-visser-register-now
Parents
Sign in to add mentor| Dirk van Dalen | grad student | 1981 | Utrecht (Computer Science Tree) | |
| (Aspects of diagonalization & provability.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Visser A. (2020) Another Look At The Second Incompleteness Theorem Review of Symbolic Logic. 13: 269-295 |
| Visser A. (2019) From Tarski to Gödel—or how to derive the second incompleteness theorem from the undefinability of truth without self-reference Journal of Logic and Computation. 29: 595-604 |
| Pakhomov F, Visser A. (2019) On a question of krajewski’s Journal of Symbolic Logic. 84: 343-358 |
| Visser A, Zoethout J. (2019) Provability Logic and the Completeness Principle Annals of Pure and Applied Logic. 170: 718-753 |
| Visser A. (2019) The small-is-very-small principle Mathematical Logic Quarterly. 65: 453-478 |
| Litak T, Visser A. (2018) Lewis meets Brouwer: Constructive strict implication Indagationes Mathematicae. 29: 36-90 |
| Henk P, Visser A. (2017) Interpretability suprema in Peano Arithmetic Archive For Mathematical Logic. 56: 555-584 |
| Visser A. (2016) Transductions in arithmetic Annals of Pure and Applied Logic. 167: 211-234 |
| Visser A. (2015) The Arithmetics of a Theory Notre Dame Journal of Formal Logic. 56: 81-119 |
| Enayat A, Visser A. (2015) New Constructions of Satisfaction Classes Logic Group Preprint Series. 303: 321-335 |