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

DOI10.1002/malq.19820281303zbMath0515.03030OpenAlexW2047122753MaRDI QIDQ3661567

Urs Oswald, Vladik Ya. Kreinovich

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

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

Related Items (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