Grabmayr, Balthasar; Visser, Albert Self-reference upfront: a study of self-referential Gödel numberings. (English) Zbl 07689494 Rev. Symb. Log. 16, No. 2, 385-424 (2023). Reviewer: Saeed Salehi (Tabriz) MSC: 03A05 03F30 03F40 PDFBibTeX XMLCite \textit{B. Grabmayr} and \textit{A. Visser}, Rev. Symb. Log. 16, No. 2, 385--424 (2023; Zbl 07689494) Full Text: DOI arXiv
Pakhomov, Fedor; Visser, Albert Finitely axiomatized theories lack self-comprehension. (English) Zbl 07740288 Bull. Lond. Math. Soc. 54, No. 6, 2513-2531 (2022). MSC: 03F25 03F40 03E40 PDFBibTeX XMLCite \textit{F. Pakhomov} and \textit{A. Visser}, Bull. Lond. Math. Soc. 54, No. 6, 2513--2531 (2022; Zbl 07740288) Full Text: DOI arXiv
Visser, Albert Extension and interpretability. (English) Zbl 1490.03019 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 53-92 (2021). Reviewer: Ellen Lehet (Notre Dame) MSC: 03C07 03C40 PDFBibTeX XMLCite \textit{A. Visser}, Log. Epistemol. Unity Sci. 49, 53--92 (2021; Zbl 1490.03019) Full Text: DOI Link
Visser, Albert Another look at the second incompleteness theorem. (English) Zbl 1444.03168 Rev. Symb. Log. 13, No. 2, 269-295 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F40 03B25 03F25 03F30 03F45 03A05 PDFBibTeX XMLCite \textit{A. Visser}, Rev. Symb. Log. 13, No. 2, 269--295 (2020; Zbl 1444.03168) Full Text: DOI
Visser, Albert The small-is-very-small principle. (English) Zbl 1521.03234 Math. Log. Q. 65, No. 4, 453-478 (2019). MSC: 03F30 03C62 03F40 03H15 PDFBibTeX XMLCite \textit{A. Visser}, Math. Log. Q. 65, No. 4, 453--478 (2019; Zbl 1521.03234) Full Text: DOI arXiv
Litak, Tadeusz; Visser, Albert Lewis meets Brouwer: constructive strict implication. (English) Zbl 1436.03137 Indag. Math., New Ser. 29, No. 1, 36-90 (2018). MSC: 03B45 03B20 03F30 PDFBibTeX XMLCite \textit{T. Litak} and \textit{A. Visser}, Indag. Math., New Ser. 29, No. 1, 36--90 (2018; Zbl 1436.03137) Full Text: DOI arXiv
Visser, Albert The interpretation existence lemma. (English) Zbl 1429.03212 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 101-144 (2017). MSC: 03F45 03A05 03B25 PDFBibTeX XMLCite \textit{A. Visser}, Outst. Contrib. Log. 13, 101--144 (2017; Zbl 1429.03212) Full Text: DOI
Visser, Albert On \(\mathsf{Q}\). (English) Zbl 1420.03143 Soft Comput. 21, No. 1, 39-56 (2017). MSC: 03F30 PDFBibTeX XMLCite \textit{A. Visser}, Soft Comput. 21, No. 1, 39--56 (2017; Zbl 1420.03143) Full Text: DOI
Henk, Paula; Visser, Albert Interpretability suprema in Peano arithmetic. (English) Zbl 1436.03310 Arch. Math. Logic 56, No. 5-6, 555-584 (2017). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F25 03F30 PDFBibTeX XMLCite \textit{P. Henk} and \textit{A. Visser}, Arch. Math. Logic 56, No. 5--6, 555--584 (2017; Zbl 1436.03310) Full Text: DOI
Halbach, Volker; Visser, Albert Self-reference in arithmetic. I. (English) Zbl 1337.03008 Rev. Symb. Log. 7, No. 4, 671-691 (2014). MSC: 03A05 03F40 PDFBibTeX XMLCite \textit{V. Halbach} and \textit{A. Visser}, Rev. Symb. Log. 7, No. 4, 671--691 (2014; Zbl 1337.03008) Full Text: DOI
Shavrukov, V. Yu.; Visser, Albert Uniform density in Lindenbaum algebras. (English) Zbl 1339.03056 Notre Dame J. Formal Logic 55, No. 4, 569-582 (2014). MSC: 03F40 03D45 03F30 PDFBibTeX XMLCite \textit{V. Yu. Shavrukov} and \textit{A. Visser}, Notre Dame J. Formal Logic 55, No. 4, 569--582 (2014; Zbl 1339.03056) Full Text: DOI Euclid Link
de Jongh, Dick; Verbrugge, Rineke; Visser, Albert Intermediate logics and the de Jongh property. (English) Zbl 1233.03033 Arch. Math. Logic 50, No. 1-2, 197-213 (2011). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03B55 03B20 03F30 PDFBibTeX XMLCite \textit{D. de Jongh} et al., Arch. Math. Logic 50, No. 1--2, 197--213 (2011; Zbl 1233.03033) Full Text: DOI
Visser, Albert Closed fragments of provability logics of constructive theories. (English) Zbl 1165.03049 J. Symb. Log. 73, No. 3, 1081-1096 (2008). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F30 03F50 PDFBibTeX XMLCite \textit{A. Visser}, J. Symb. Log. 73, No. 3, 1081--1096 (2008; Zbl 1165.03049) Full Text: DOI
Visser, Albert Pairs, sets and sequences in first-order theories. (English) Zbl 1158.03037 Arch. Math. Logic 47, No. 4, 299-326 (2008). Reviewer: Emil Jeřábek (Praha) MSC: 03F25 03B30 PDFBibTeX XMLCite \textit{A. Visser}, Arch. Math. Logic 47, No. 4, 299--326 (2008; Zbl 1158.03037) Full Text: DOI
Visser, Albert Predicate logics of constructive arithmetical theories. (English) Zbl 1116.03055 J. Symb. Log. 71, No. 4, 1311-1326 (2006). MSC: 03F30 03F50 03F25 PDFBibTeX XMLCite \textit{A. Visser}, J. Symb. Log. 71, No. 4, 1311--1326 (2006; Zbl 1116.03055) Full Text: DOI
Visser, Albert Faith & falsity. (English) Zbl 1065.03038 Ann. Pure Appl. Logic 131, No. 1-3, 103-131 (2005). MSC: 03F25 03F30 PDFBibTeX XMLCite \textit{A. Visser}, Ann. Pure Appl. Logic 131, No. 1--3, 103--131 (2005; Zbl 1065.03038) Full Text: DOI
Visser, Albert Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic. (English) Zbl 1009.03029 Ann. Pure Appl. Logic 114, No. 1-3, 227-271 (2002). Reviewer: M.Yasuhara (Princeton) MSC: 03F55 03F30 03F45 03B20 PDFBibTeX XMLCite \textit{A. Visser}, Ann. Pure Appl. Logic 114, No. 1--3, 227--271 (2002; Zbl 1009.03029) Full Text: DOI
Visser, Albert Rules and arithmetics. (English) Zbl 0968.03071 Notre Dame J. Formal Logic 40, No. 1, 116-140 (1999). MSC: 03F50 03F30 PDFBibTeX XMLCite \textit{A. Visser}, Notre Dame J. Formal Logic 40, No. 1, 116--140 (1999; Zbl 0968.03071) Full Text: DOI
Verbrugge, Rineke; Visser, Albert A small reflection principle for bounded arithmetic. (English) Zbl 0814.03039 J. Symb. Log. 59, No. 3, 785-812 (1994). Reviewer: R.Murawski (Poznań) MSC: 03F30 PDFBibTeX XMLCite \textit{R. Verbrugge} and \textit{A. Visser}, J. Symb. Log. 59, No. 3, 785--812 (1994; Zbl 0814.03039) Full Text: DOI
Visser, Albert Four valued semantics and the Liar. (English) Zbl 0546.03007 J. Philos. Logic 13, 181-212 (1984). MSC: 03A05 03B50 PDFBibTeX XMLCite \textit{A. Visser}, J. Philos. Log. 13, 181--212 (1984; Zbl 0546.03007) Full Text: DOI