Modified realizability and predicate logic
type: Item
instance of: scholarly article
title: Modified realizability and predicate logic
zbMATH Open document ID: 0912.03027
DOI: 10.1007/BF02355731
published in: Mathematical Notes
publication date: 1999-01-11T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03C62
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 1238014
zbMATH Keywords: constructive logic
zbMATH Keywords: semantics of predicate formulas
zbMATH Keywords: modified realizability
zbMATH Keywords: arithmetic in all finite types
author: Valery Plisko
MaRDI profile type: Publication
cites work: On the interpretation of intuitionistic number theory
cites work: Q3980271
cites work: Q4047525
cites work: THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
cites work: Constructive formalization of the Tennenbaum theorem and its applications
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q5812175
full work available at URL: https://doi.org/10.1007/bf02355731
OpenAlex ID: W2092876471
description: scientific article; zbMATH DE number 1238014