Skolem's paradox and constructivism

DOI10.1007/BF00257838zbMath0633.03060OpenAlexW2038025397MaRDI QIDQ1095905

Neil Tennant, Charles McCarty

Publication date: 1987

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00257838

zbMATH Keywords

independence resultsintuitionismintuitionistic Zermelo-Fraenkel set theoryLöwenheim-Skolem TheoremSkolem's paradox

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Consistency and independence results (03E35) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Related Items

Paraconsistent metatheory: new proofs with old tools