On the idea(l) of logical closure

DOI10.1016/0168-0072(92)90066-9zbMath0767.03005OpenAlexW2065128071MaRDI QIDQ1192341

Georg Kreisel

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(92)90066-9

zbMATH Keywords

conversations with J. R. Myhilllogical closure

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Realizing Brouwer's sequences

Cites Work

• Unnamed Item
• Unnamed Item
• A continuous, constructive solution to Hilbert's \(17^{th}\) problem
• Rationality of p-adic Poincaré series: Uniformity in p
• Schrödinger
• Mathematical significance of consistency proofs
• Dénominateurs dans le théorème des zéros de Hilbert
• Bounds for the degrees in the membership test for a polynomial ideal
• Sharp Effective Nullstellensatz
• On the Metamathematics of Rings and Integral Domains
• A system which can define its own truth

This page was built for publication: On the idea(l) of logical closure