On the idea(l) of logical closure
type: Item
instance of: scholarly article
title: On the idea(l) of logical closure
zbMATH Open document ID: 0767.03005
DOI: 10.1016/0168-0072(92)90066-9
published in: Annals of Pure and Applied Logic
publication date: 1992-09-27T00:00:00Z
review text: The author, an eminent logician, whose voluminous work plays an influental role in the development of contemporary proof theory and foundations of mathematics, discusses different interesting aspects of a fundamental notion of logic --- the notion of logical closure. Also, the paper includes reminiscences and reflections concerning the author's conversations with J. R. Myhill, as well as elements of the author's intellectual biography. An exceptional charm of the paper lies in the absence of the conventional separation between the treatment of personal and logical aspects of the subject.
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 60744
zbMATH Keywords: logical closure
zbMATH Keywords: conversations with J. R. Myhill
author: Georg Kreisel
reviewed by: Branislav Boričić
MaRDI profile type: Publication
full work available at URL: 0168-0072(92)90066-9
OpenAlex ID: W2065128071
cites work: Bounds for the degrees in the membership test for a polynomial ideal
cites work: A continuous, constructive solution to Hilbert's \(17^{th}\) problem
cites work: Sharp Effective Nullstellensatz
cites work: Mathematical significance of consistency proofs
cites work: Q4193431
cites work: Rationality of p-adic Poincaré series: Uniformity in p
cites work: Schrödinger
cites work: A system which can define its own truth
cites work: Dénominateurs dans le théorème des zéros de Hilbert
cites work: Q3264229
cites work: On the Metamathematics of Rings and Integral Domains
description: scientific article; zbMATH DE number 60744