# zbMATH — the first resource for mathematics

## Visser, Albert

Compute Distance To:
 Author ID: visser.albert Published as: Visser, Albert; Visser, A. Homepage: https://www.uu.nl/medewerkers/AVisser External Links: MGP · Wikidata · dblp
 Documents Indexed: 84 Publications since 1981, including 5 Books Biographic References: 2 Publications
all top 5

#### Co-Authors

 55 single-authored 5 de Jongh, Dick H. J. 3 Beklemishev, Lev D. 3 Halbach, Volker 3 Verbrugge, Rineke 2 van Eijck, Jan 2 van Oostrom, Vincent 1 Adyan, Sergeĭ Ivanovich 1 Artemov, Sergei 1 Boolos, George S. 1 Čačić, Vedran 1 D’Agostino, Giovanna 1 de Jonge, Maartje 1 Enayat, Ali 1 Engeler, Erwin 1 Feferman, Solomon 1 Grabmayer, Clemens 1 Henk, Paula 1 Hollenberg, Marco 1 Jäger, Gerhard 1 Joosten, Joost J. 1 Krabbe, Erik C. W. 1 Leo, Joop 1 Litak, Tadeusz 1 Pakhomov, Fedor N. 1 Pudlák, Pavel 1 Restall, Greg 1 Schmerl, James H. 1 Shavrukov, V. Yu. 1 Urquhart, Alasdair 1 van Dalen, Dirk 1 Vermeulen, Kees 1 Zoethout, Jetze
all top 5

#### Serials

 9 Notre Dame Journal of Formal Logic 9 Archive for Mathematical Logic 8 Annals of Pure and Applied Logic 6 The Review of Symbolic Logic 5 The Journal of Symbolic Logic 4 Studia Logica 4 Journal of Logic, Language and Information 3 Journal of Philosophical Logic 3 Journal of Logic and Computation 2 Mathematical Logic Quarterly (MLQ) 1 Annals of Mathematical Logic 1 Indagationes Mathematicae 1 Theoretical Computer Science 1 Indagationes Mathematicae. New Series 1 The Bulletin of Symbolic Logic 1 Soft Computing 1 Erkenntnis 1 Lecture Notes in Logic
all top 5

#### Fields

 82 Mathematical logic and foundations (03-XX) 6 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 2 History and biography (01-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX)

#### Citations contained in zbMATH Open

66 Publications have been cited 486 times in 272 Documents Cited by Year
An overview of interpretability logic. Zbl 0915.03020
Visser, Albert
1998
Four valued semantics and the Liar. Zbl 0546.03007
Visser, Albert
1984
A propositional logic with explicit fixed points. Zbl 0469.03012
Visser, Albert
1981
Semantics and the liar paradox. Zbl 0875.03030
Visser, Albert
1989
Uniform interpolation and layered bisimulation. Zbl 0854.03026
Visser, Albert
1996
Interpretability logic. Zbl 0793.03064
Visser, Albert
1990
On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026
Visser, Albert
1982
Faith & falsity. Zbl 1065.03038
Visser, Albert
2005
The unprovability of small inconsistency. A study of local and global interpretability. Zbl 0795.03080
Visser, Albert
1993
The formalization of interpretability. Zbl 0744.03023
Visser, Albert
1991
An inside view of EXP; or, the closed fragment of the provability logic of $$I\Delta{}_ 0 + \Omega{}_ 1$$ with a propositional constant for EXP. Zbl 0785.03008
Visser, Albert
1992
Growing commas. A study of sequentiality and concatenation. Zbl 1190.03052
Visser, Albert
2009
Peano’s smart children: A provability logical study of systems with built-in consistency. Zbl 0686.03033
Visser, Albert
1989
Can we make the second incompleteness theorem coordinate free? Zbl 1262.03123
Visser, Albert
2011
Pairs, sets and sequences in first-order theories. Zbl 1158.03037
Visser, Albert
2008
Categories of theories and interpretations. Zbl 1107.03066
Visser, Albert
2006
The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic. Zbl 0581.03009
Visser, Albert
1984
Substitutions of $$\Sigma_1^0$$-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic. Zbl 1009.03029
Visser, Albert
2002
Self-reference in arithmetic. I. Zbl 1337.03008
Halbach, Volker; Visser, Albert
2014
Finality regained: A coalgebraic study of Scott-sets and multisets. Zbl 1023.03049
D’Agostino, Giovanna; Visser, Albert
2002
Rules and arithmetics. Zbl 0968.03071
Visser, Albert
1999
Self-reference in arithmetic. II. Zbl 1337.03009
Halbach, Volker; Visser, Albert
2014
On the limit existence principles in elementary arithmetic and $$\varSigma_{n}^{0}$$-consequences of theories. Zbl 1087.03037
Beklemishev, Lev D.; Visser, Albert
2005
The predicative Frege hierarchy. Zbl 1172.03005
Visser, Albert
2009
Cardinal arithmetic in the style of Baron von Münchhausen. Zbl 1185.03088
Visser, Albert
2009
A small reflection principle for bounded arithmetic. Zbl 0814.03039
Verbrugge, Rineke; Visser, Albert
1994
Peano Corto and Peano Basso: a study of local induction in the context of weak theories. Zbl 1326.03071
Visser, Albert
2014
Embeddings of Heyting algebras. Zbl 0857.03041
de Jongh, Dick; Visser, Albert
1996
The interpretability logic of all reasonable arithmetical theories. The new conjecture. Zbl 0974.03049
Joosten, Joost J.; Visser, Albert
2000
Intermediate logics and the de Jongh property. Zbl 1233.03033
de Jongh, Dick; Verbrugge, Rineke; Visser, Albert
2011
Submodels of Kripke models. Zbl 0990.03004
Visser, Albert
2001
Finite Kripke models of HA are locally PA. Zbl 0632.03048
van Dalen, D.; Mulder, H.; Krabbe, E. C. W.; Visser, A.
1986
Problems in the logic of provability. Zbl 1100.03051
Beklemishev, Lev; Visser, Albert
2006
No escape from Vardanyan’s theorem. Zbl 1096.03072
Visser, Albert; de Jonge, Maartje
2006
A course on bimodal provability logic. Zbl 0828.03008
Visser, Albert
1995
On $$\mathsf{Q}$$. Zbl 1420.03143
Visser, Albert
2017
Dynamic bracketing and discourse representation. Zbl 0968.03032
Visser, Albert; Vermeulen, Kees
1996
Löb’s logic meets the $$\mu$$-calculus. Zbl 1171.03314
Visser, Albert
2005
Hume’s principle, beginnings. Zbl 1232.03054
Visser, Albert
2011
The second incompleteness theorem and bounded interpretations. Zbl 1260.03109
Visser, Albert
2012
Uniform density in Lindenbaum algebras. Zbl 1339.03056
Shavrukov, V. Yu.; Visser, Albert
2014
Explicit fixed points in interpretability logic. Zbl 0744.03020
de Jongh, Dick; Visser, Albert
1991
On the $$\Sigma{}^ 0_ 1$$-conservativity of $$\Sigma{}^ 0_ 1$$- completeness. Zbl 0747.03026
Visser, Albert
1991
Provability logic and the completeness principle. Zbl 1439.03106
Visser, Albert; Zoethout, Jetze
2019
The Henkin sentence. Zbl 1347.03002
Halbach, Volker; Visser, Albert
2014
Transductions in arithmetic. Zbl 1357.03043
Visser, Albert
2016
Why the theory R is special. Zbl 1358.03091
Visser, Albert
2014
Predicate logics of constructive arithmetical theories. Zbl 1116.03055
Visser, Albert
2006
Interpretability degrees of finitely axiomatized sequential theories. Zbl 1301.03061
Visser, Albert
2014
Closed fragments of provability logics of constructive theories. Zbl 1165.03049
Visser, Albert
2008
Vaught’s theorem on axiomatizability by a scheme. Zbl 1272.03063
Visser, Albert
2012
The arithmetics of a theory. Zbl 1350.03045
Visser, Albert
2015
Propositional logics of closed and open substitutions over Heyting’s arithmetic. Zbl 1113.03053
Visser, Albert
2006
On the termination of Russell’s description elimination algorithm. Zbl 1252.03004
Grabmayer, Clemens; Leo, Joop; van Oostrom, Vincent; Visser, Albert
2011
The interpretation existence lemma. Zbl 1429.03212
Visser, Albert
2017
Oracle bites theory. Zbl 1406.03060
Visser, Albert
2015
Another look at the second incompleteness theorem. Zbl 1444.03168
Visser, Albert
2020
Contexts in dynamic predicate logic. Zbl 0892.03007
Visser, Albert
1998
Logic and information flow. Zbl 0876.03014
van Eijck, Jan (ed.); Visser, Albert (ed.)
1994
Interpretations over Heyting’s arithmetic. Zbl 0933.03076
Visser, Albert
1999
Decorated linear order types and the theory of concatenation. Zbl 1244.03162
Čačić, Vedran; Pudlák, Pavel; Restall, Greg; Urquhart, Alasdair; Visser, Albert
2010
An incompleteness result for paths through or within O. Zbl 0459.03025
Visser, Albert
1981
The donkey and the monoid. Dynamic semantics with control elements. Zbl 0998.03028
Visser, Albert
2002
From Tarski to Gödel – or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. Zbl 1444.03167
Visser, Albert
2019
Interpretability suprema in Peano arithmetic. Zbl 1436.03310
Henk, Paula; Visser, Albert
2017
Lewis meets Brouwer: constructive strict implication. Zbl 1436.03137
2018
Another look at the second incompleteness theorem. Zbl 1444.03168
Visser, Albert
2020
Provability logic and the completeness principle. Zbl 1439.03106
Visser, Albert; Zoethout, Jetze
2019
From Tarski to Gödel – or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. Zbl 1444.03167
Visser, Albert
2019
Lewis meets Brouwer: constructive strict implication. Zbl 1436.03137
2018
On $$\mathsf{Q}$$. Zbl 1420.03143
Visser, Albert
2017
The interpretation existence lemma. Zbl 1429.03212
Visser, Albert
2017
Interpretability suprema in Peano arithmetic. Zbl 1436.03310
Henk, Paula; Visser, Albert
2017
Transductions in arithmetic. Zbl 1357.03043
Visser, Albert
2016
The arithmetics of a theory. Zbl 1350.03045
Visser, Albert
2015
Oracle bites theory. Zbl 1406.03060
Visser, Albert
2015
Self-reference in arithmetic. I. Zbl 1337.03008
Halbach, Volker; Visser, Albert
2014
Self-reference in arithmetic. II. Zbl 1337.03009
Halbach, Volker; Visser, Albert
2014
Peano Corto and Peano Basso: a study of local induction in the context of weak theories. Zbl 1326.03071
Visser, Albert
2014
Uniform density in Lindenbaum algebras. Zbl 1339.03056
Shavrukov, V. Yu.; Visser, Albert
2014
The Henkin sentence. Zbl 1347.03002
Halbach, Volker; Visser, Albert
2014
Why the theory R is special. Zbl 1358.03091
Visser, Albert
2014
Interpretability degrees of finitely axiomatized sequential theories. Zbl 1301.03061
Visser, Albert
2014
The second incompleteness theorem and bounded interpretations. Zbl 1260.03109
Visser, Albert
2012
Vaught’s theorem on axiomatizability by a scheme. Zbl 1272.03063
Visser, Albert
2012
Can we make the second incompleteness theorem coordinate free? Zbl 1262.03123
Visser, Albert
2011
Intermediate logics and the de Jongh property. Zbl 1233.03033
de Jongh, Dick; Verbrugge, Rineke; Visser, Albert
2011
Hume’s principle, beginnings. Zbl 1232.03054
Visser, Albert
2011
On the termination of Russell’s description elimination algorithm. Zbl 1252.03004
Grabmayer, Clemens; Leo, Joop; van Oostrom, Vincent; Visser, Albert
2011
Decorated linear order types and the theory of concatenation. Zbl 1244.03162
Čačić, Vedran; Pudlák, Pavel; Restall, Greg; Urquhart, Alasdair; Visser, Albert
2010
Growing commas. A study of sequentiality and concatenation. Zbl 1190.03052
Visser, Albert
2009
The predicative Frege hierarchy. Zbl 1172.03005
Visser, Albert
2009
Cardinal arithmetic in the style of Baron von Münchhausen. Zbl 1185.03088
Visser, Albert
2009
Pairs, sets and sequences in first-order theories. Zbl 1158.03037
Visser, Albert
2008
Closed fragments of provability logics of constructive theories. Zbl 1165.03049
Visser, Albert
2008
Categories of theories and interpretations. Zbl 1107.03066
Visser, Albert
2006
Problems in the logic of provability. Zbl 1100.03051
Beklemishev, Lev; Visser, Albert
2006
No escape from Vardanyan’s theorem. Zbl 1096.03072
Visser, Albert; de Jonge, Maartje
2006
Predicate logics of constructive arithmetical theories. Zbl 1116.03055
Visser, Albert
2006
Propositional logics of closed and open substitutions over Heyting’s arithmetic. Zbl 1113.03053
Visser, Albert
2006
Faith & falsity. Zbl 1065.03038
Visser, Albert
2005
On the limit existence principles in elementary arithmetic and $$\varSigma_{n}^{0}$$-consequences of theories. Zbl 1087.03037
Beklemishev, Lev D.; Visser, Albert
2005
Löb’s logic meets the $$\mu$$-calculus. Zbl 1171.03314
Visser, Albert
2005
Substitutions of $$\Sigma_1^0$$-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic. Zbl 1009.03029
Visser, Albert
2002
Finality regained: A coalgebraic study of Scott-sets and multisets. Zbl 1023.03049
D&rsquo;Agostino, Giovanna; Visser, Albert
2002
The donkey and the monoid. Dynamic semantics with control elements. Zbl 0998.03028
Visser, Albert
2002
Submodels of Kripke models. Zbl 0990.03004
Visser, Albert
2001
The interpretability logic of all reasonable arithmetical theories. The new conjecture. Zbl 0974.03049
Joosten, Joost J.; Visser, Albert
2000
Rules and arithmetics. Zbl 0968.03071
Visser, Albert
1999
Interpretations over Heyting’s arithmetic. Zbl 0933.03076
Visser, Albert
1999
An overview of interpretability logic. Zbl 0915.03020
Visser, Albert
1998
Contexts in dynamic predicate logic. Zbl 0892.03007
Visser, Albert
1998
Uniform interpolation and layered bisimulation. Zbl 0854.03026
Visser, Albert
1996
Embeddings of Heyting algebras. Zbl 0857.03041
de Jongh, Dick; Visser, Albert
1996
Dynamic bracketing and discourse representation. Zbl 0968.03032
Visser, Albert; Vermeulen, Kees
1996
A course on bimodal provability logic. Zbl 0828.03008
Visser, Albert
1995
A small reflection principle for bounded arithmetic. Zbl 0814.03039
Verbrugge, Rineke; Visser, Albert
1994
Logic and information flow. Zbl 0876.03014
van Eijck, Jan; Visser, Albert
1994
The unprovability of small inconsistency. A study of local and global interpretability. Zbl 0795.03080
Visser, Albert
1993
An inside view of EXP; or, the closed fragment of the provability logic of $$I\Delta{}_ 0 + \Omega{}_ 1$$ with a propositional constant for EXP. Zbl 0785.03008
Visser, Albert
1992
The formalization of interpretability. Zbl 0744.03023
Visser, Albert
1991
Explicit fixed points in interpretability logic. Zbl 0744.03020
de Jongh, Dick; Visser, Albert
1991
On the $$\Sigma{}^ 0_ 1$$-conservativity of $$\Sigma{}^ 0_ 1$$- completeness. Zbl 0747.03026
Visser, Albert
1991
Interpretability logic. Zbl 0793.03064
Visser, Albert
1990
Semantics and the liar paradox. Zbl 0875.03030
Visser, Albert
1989
Peano’s smart children: A provability logical study of systems with built-in consistency. Zbl 0686.03033
Visser, Albert
1989
Finite Kripke models of HA are locally PA. Zbl 0632.03048
van Dalen, D.; Mulder, H.; Krabbe, E. C. W.; Visser, A.
1986
Four valued semantics and the Liar. Zbl 0546.03007
Visser, Albert
1984
The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic. Zbl 0581.03009
Visser, Albert
1984
On the completeness principle: A study of provability in Heyting’s arithmetic and extensions. Zbl 0505.03026
Visser, Albert
1982
A propositional logic with explicit fixed points. Zbl 0469.03012
Visser, Albert
1981
An incompleteness result for paths through or within O. Zbl 0459.03025
Visser, Albert
1981
all top 5

#### Cited by 243 Authors

 33 Visser, Albert 9 Beklemishev, Lev D. 9 Kurahashi, Taishi 7 Iemhoff, Rosalie 6 Halbach, Volker 6 Joosten, Joost J. 5 Ardeshir, Mohammad 5 Montagna, Franco 5 Wolter, Frank 4 de Jongh, Dick H. J. 4 Moniri, Morteza 4 Nicolai, Carlo 4 Rivello, Edoardo 4 Schröder, Lutz 4 Willard, Dan E. 3 Leitgeb, Hannes 3 Lutz, Carsten 3 Pattinson, Dirk 3 Picollo, Lavinia María 3 Walsh, Sean 3 Zakharyaschev, Michael Viktorovich 2 Arieli, Ofer 2 Artemov, Sergei 2 Avron, Arnon 2 Blok, Willem Johannes 2 Cantini, Andrea 2 Cheng, Yong 2 D’Agostino, Giovanna 2 Dudakov, Sergey M. 2 Enayat, Ali 2 Fitting, Melvin Chris 2 Gargov, George K. 2 Ghilardi, Silvio 2 Goris, Evan 2 Goudsmit, Jeroen P. 2 Heck, Richard Kimberly 2 Horihata, Yoshihiro 2 Jeřábek, Emil 2 Konev, Boris 2 Kurz, Alexander 2 Leal, Raul Andres 2 Lenzi, Giacomo 2 Litak, Tadeusz 2 Metcalfe, George 2 Mojtahedi, Mojtaba 2 Moniri, Mojtaba 2 Pianigiani, Duccio 2 Połacik, Tomasz 2 Preining, Norbert 2 Raftery, James G. 2 Ruitenburg, Wim B. G. 2 Rybakov, Mikhail Nikolaevich 2 Salehi, Saeed 2 Santocanale, Luigi 2 Shamkanov, Daniyar S. 2 Shavrukov, V. Yu. 2 Smoryński, Craig 2 Standefer, Shawn 2 van Benthem, Johan F. A. K. 2 Verbrugge, Rineke 2 Vuković, Mladen 2 Wong, Tin Lok 2 Zaare, Mostafa 1 Abramsky, Samson 1 Alberucci, Luca 1 Alizadeh, Majid 1 Artëv, S. N. 1 Assadi, Ziba 1 Baaz, Matthias 1 Bagheri, Seyed Mohammad 1 Barba, Juan 1 Barrett, Thomas William 1 Beckmann, Arnold 1 Beeson, Michael J. 1 Berarducci, Alessandro 1 Bergstra, Jan A. 1 Berman, Joel D. 1 Betti, Arianna 1 Bezhanishvili, Nick 1 Bílková, Marta 1 Bjørdal, Frode Alfson 1 Blair, Howard A. 1 Blanck, Rasmus 1 Borg, Annemarie 1 Borrego-Díaz, Joaquín 1 Botoeva, Elena 1 Bou, Félix 1 Bruni, Riccardo 1 Buldt, Bernd 1 Buss, Samuel R. 1 Butler, Alastair 1 Čačić, Vedran 1 Celani, Sergio Arturo 1 Chagrov, Aleksandr Vasil’evich 1 Ciabattoni, Agata 1 Clarke-Doane, Justin 1 Cornaros, Charalampos 1 Corsi, Esther Anna 1 Cruz-Filipe, Luís 1 Damnjanovic, Zlatan ...and 143 more Authors
all top 5

#### Cited in 43 Serials

 28 Journal of Philosophical Logic 27 Annals of Pure and Applied Logic 25 Notre Dame Journal of Formal Logic 25 Studia Logica 22 The Journal of Symbolic Logic 21 Archive for Mathematical Logic 19 The Review of Symbolic Logic 14 The Bulletin of Symbolic Logic 8 Theoretical Computer Science 4 Mathematical Notes 4 Mathematical Logic Quarterly (MLQ) 4 Soft Computing 3 Synthese 3 Journal of Applied Non-Classical Logics 3 Logic and Logical Philosophy 3 Journal of Applied Logic 3 Logica Universalis 2 Artificial Intelligence 2 Siberian Mathematical Journal 2 Order 2 Journal of Automated Reasoning 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Logic, Language and Information 2 Annals of Mathematics and Artificial Intelligence 2 Proceedings of the Steklov Institute of Mathematics 1 International Journal of Theoretical Physics 1 Algebra Universalis 1 Fundamenta Mathematicae 1 Journal of Geometry 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 Information and Computation 1 1 International Journal of Algebra and Computation 1 Bulletin of the American Mathematical Society. New Series 1 Indagationes Mathematicae. New Series 1 Izvestiya: Mathematics 1 Doklady Mathematics 1 Theory of Computing Systems 1 Journal of Mathematical Logic 1 Lobachevskii Journal of Mathematics 1 The Journal of Logic and Algebraic Programming 1 Nôus
all top 5

#### Cited in 17 Fields

 258 Mathematical logic and foundations (03-XX) 31 Computer science (68-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 8 General and overarching topics; collections (00-XX) 6 History and biography (01-XX) 4 General algebraic systems (08-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-XX) 2 Geometry (51-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Topological groups, Lie groups (22-XX) 1 General topology (54-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.