A Decision Method for the Universal Theorems of Quine's New Foundations

DOI10.1002/MALQ.19820281303zbMATH Open0515.03030OpenAlexW2047122753MaRDI QIDQ3661567FDOQ3661567

Vladik Kreinovich, Urs Oswald

Publication date: 1982

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19820281303

zbMATH Keywords

decision methodlogical languageclosed universal formulacomprehension asiomsfunctional symbolsScott's permutation method

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Applications of set theory (03E75)

Cited In (1)

• Term models for weak set theories with a universal set

This page was built for publication: A Decision Method for the Universal Theorems of Quine's New Foundations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3661567)