Corrigendum

Corrigendum to “Weak Arithmetics and Kripke Models”

  1. Morteza Moniri

Article first published online: 1 OCT 2004

DOI: 10.1002/malq.200410007

Issue

Mathematical Logic Quarterly

Mathematical Logic Quarterly

Volume 50, Issue 6, pages 637–638, October 2004

Additional Information

How to Cite

Moniri, M. (2004), Corrigendum to “Weak Arithmetics and Kripke Models”. Mathematical Logic Quarterly, 50: 637–638. doi: 10.1002/malq.200410007

Author Information

  1. Department of Mathematics, Shahid Beheshti University, Tehran, Iran

Publication History

  1. Issue published online: 1 OCT 2004
  2. Article first published online: 1 OCT 2004
  3. Manuscript Revised: 11 AUG 2004
  4. Manuscript Accepted: 11 AUG 2004
  5. Manuscript Received: 8 AUG 2004

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (63K)

Keywords:

  • Fragments of Heyting Arithmetic;
  • Kripke models

Abstract

We give a corrected proof of the main result in the paper [2] mentioned in the title. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Get PDF (63K)