On the idea(l) of logical closure
From MaRDI portal
Publication:1192341
DOI10.1016/0168-0072(92)90066-9zbMath0767.03005OpenAlexW2065128071MaRDI QIDQ1192341
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
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
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