Research output per year
Research output per year
Personal profile
Link to Utrecht University staff page
Fingerprint
Dive into the research topics where Albert Visser is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Publication network from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
Visser, A., 6 Oct 2025, (E-pub ahead of print) In: Theoria (Sweden).Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
When Bi-Interpretability Implies Synonymy
Friedman, H. M. & Visser, A., Dec 2025, In: Review of Symbolic Logic. 18, 4, p. 971-990 20 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
CERTIFIED Σ1-SENTENCES
Kurahashi, T. & Visser, A., 12 Dec 2024, (E-pub ahead of print) In: Journal of Symbolic Logic. 29 p.Research output: Contribution to journal › Article › Academic › peer-review
-
Essential hereditary undecidability
Visser, A., Jul 2024, In: Archive for Mathematical Logic. 63, 5-6, p. 529-562 34 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
INCOMPLETENESS OF BOUNDEDLY AXIOMATIZABLE THEORIES
Enayat, A. & Visser, A., Nov 2024, In: Proceedings of the American Mathematical Society. 152, 11, p. 4923-4932 10 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile
-
Uniform Numeration and the Henkin Calculus
Visser, A. (Invited speaker)
5 Nov 2020Activity: Talk or presentation › Invited talk › Academic
-
Cyclic Henkin Logic 2
Visser, A. (Invited speaker)
21 Dec 2020Activity: Talk or presentation › Invited talk › Academic
-
Cyclic Henkin Logic 1
Visser, A. (Invited speaker)
14 Dec 2020Activity: Talk or presentation › Invited talk › Academic
-
Fixed Points meet Löb's Logic
Visser, A. (Invited speaker)
18 Nov 2020Activity: Talk or presentation › Invited talk › Academic
-
The Second Incompleteness Theorem in General
Visser, A. (Invited speaker)
13 Jan 2020Activity: Talk or presentation › Invited talk › Academic