## Journal of Symbolic Logic

### Intuitionistic Completeness for First Order Classical Logic

Stefano Berardi

#### Abstract

In the past sixty years or so, a real forest of intuitionistic models for classical theories has grown. In this paper we will compare intuitionistic models of first order classical theories according to relevant issues, like completeness (w.r.t. first order classical provability), consistency, and relationship between a connective and its interpretation in a model. We briefly consider also intuitionistic models for classical $\omega$-logic. All results included here, but a part of the proposition (a) below, are new. This work is, ideally, a continuation of a paper by McCarty, who considered intuitionistic completeness mostly for first order intuitionistic logic.

#### Article information

Source
J. Symbolic Logic, Volume 64, Issue 1 (1999), 304-312.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183745707

Mathematical Reviews number (MathSciNet)
MR1683910

Zentralblatt MATH identifier
0929.03039

JSTOR