×

zbMATH — the first resource for mathematics

Visser, Albert

Compute Distance To:
Author ID: visser.albert Recent zbMATH articles by "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

Publications by Year

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

Citations by Year

Wikidata Timeline

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