Some topological spaces which are universal for intuitionistic predicate logic

I. Moerdijk

doi:10.1016/S1385-7258(82)80014-0

Some topological spaces which are universal for intuitionistic predicate logic

I. Moerdijk^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

It is shown that for every formula which cannot be proved in intuitionistic predicate logic, and for every metrizable space X without isolated points one can find a sheaf model over X in which is not valid.

Original language	English
Pages (from-to)	227-235
Number of pages	9
Journal	Indagationes Mathematicae (Proceedings)
Volume	85
Issue number	2
DOIs	https://doi.org/10.1016/S1385-7258(82)80014-0
Publication status	Published - 14 Jun 1982

Access to Document

10.1016/S1385-7258(82)80014-0

Cite this

@article{d6cf1fc30345485783cc7a83abdc8f69,

title = "Some topological spaces which are universal for intuitionistic predicate logic",

abstract = "It is shown that for every formula which cannot be proved in intuitionistic predicate logic, and for every metrizable space X without isolated points one can find a sheaf model over X in which is not valid.",

author = "I. Moerdijk",

year = "1982",

month = jun,

day = "14",

doi = "10.1016/S1385-7258(82)80014-0",

language = "English",

volume = "85",

pages = "227--235",

journal = "Indagationes Mathematicae (Proceedings)",

issn = "1385-7258",

number = "2",

}

TY - JOUR

T1 - Some topological spaces which are universal for intuitionistic predicate logic

AU - Moerdijk, I.

PY - 1982/6/14

Y1 - 1982/6/14

N2 - It is shown that for every formula which cannot be proved in intuitionistic predicate logic, and for every metrizable space X without isolated points one can find a sheaf model over X in which is not valid.

AB - It is shown that for every formula which cannot be proved in intuitionistic predicate logic, and for every metrizable space X without isolated points one can find a sheaf model over X in which is not valid.

UR - http://www.scopus.com/inward/record.url?scp=49049129665&partnerID=8YFLogxK

U2 - 10.1016/S1385-7258(82)80014-0

DO - 10.1016/S1385-7258(82)80014-0

M3 - Article

AN - SCOPUS:49049129665

SN - 1385-7258

VL - 85

SP - 227

EP - 235

JO - Indagationes Mathematicae (Proceedings)

JF - Indagationes Mathematicae (Proceedings)

IS - 2

ER -

Some topological spaces which are universal for intuitionistic predicate logic

Abstract

Access to Document

Fingerprint

Cite this