# Albert Visser

Orcid: 0000-0001-9452-278X
According to our database

Collaborative distances:

^{1}, Albert Visser authored at least 67 papers between 1982 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

Arch. Math. Log., July, 2024

CoRR, 2024

2023

Rev. Symb. Log., June, 2023

2022

Ann. Pure Appl. Log., 2022

Ann. Pure Appl. Log., 2022

2021

FLAP, 2021

Arch. Math. Log., 2021

2020

Rev. Symb. Log., 2020

2019

Math. Log. Q., 2019

From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference.

J. Log. Comput., 2019

J. Symb. Log., 2019

CoRR, 2019

Ann. Pure Appl. Log., 2019

2017

Soft Comput., 2017

CoRR, 2017

Arch. Math. Log., 2017

2016

Ann. Pure Appl. Log., 2016

2015

Notre Dame J. Formal Log., 2015

2014

Rev. Symb. Log., 2014

Rev. Symb. Log., 2014

Notre Dame J. Formal Log., 2014

Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories.

Math. Log. Q., 2014

Arch. Math. Log., 2014

2012

Stud Logica, 2012

J. Philos. Log., 2012

Bull. Symb. Log., 2012

2011

Theor. Comput. Sci., 2011

Rev. Symb. Log., 2011

Rev. Symb. Log., 2011

J. Log. Comput., 2011

J. Log. Comput., 2011

Arch. Math. Log., 2011

2009

Rev. Symb. Log., 2009

Notre Dame J. Formal Log., 2009

Ann. Pure Appl. Log., 2009

2008

J. Symb. Log., 2008

Arch. Math. Log., 2008

2006

Notre Dame J. Formal Log., 2006

J. Symb. Log., 2006

Arch. Math. Log., 2006

2005

Ann. Pure Appl. Log., 2005

On the limit existence principles in elementary arithmetic and Sigma <sub>n</sub> <sup>0</sup>-consequences of theories.

Ann. Pure Appl. Log., 2005

Proceedings of the Processes, 2005

2002

J. Log. Lang. Inf., 2002

Substitutions of Sigma<sub>1</sub><sup>0</sup> - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.

Ann. Pure Appl. Log., 2002

Arch. Math. Log., 2002

2001

Arch. Math. Log., 2001

1999

Notre Dame J. Formal Log., 1999

J. Log. Lang. Inf., 1999

1998

J. Log. Lang. Inf., 1998

1997

J. Log. Lang. Inf., 1997

Proceedings of the Handbook of Logic and Language., 1997

1996

Notre Dame J. Formal Log., 1996

An Overview of Interpretability Logic.

Proceedings of the Advances in Modal Logic 1, 1996

1995

Ann. Pure Appl. Log., 1995

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.

Ann. Pure Appl. Log., 1995

1994

J. Symb. Log., 1994

1993

The unprovability of small inconsistency - A study of local and global interpretability.

Arch. Math. Log., 1993

1992

An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta<sub>0</sub>+Omega<sub>1</sub> with a Propositional Constant for EXP.

J. Symb. Log., 1992

1991

Stud Logica, 1991

Stud Logica, 1991

On the Σ<sub>1</sub><sup>0</sup>-Conservativity of Σ<sub>1</sub><sup>0</sup>-Completeness.

Notre Dame J. Formal Log., 1991

1989

Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency.

Notre Dame J. Formal Log., 1989

1986

Notre Dame J. Formal Log., 1986

1984

J. Philos. Log., 1984

The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic.

J. Philos. Log., 1984

1982

On the completenes principle: A study of provability in heyting's arithmetic and extensions.

Ann. Math. Log., 1982