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

DOI10.1002/MALQ.19820281303MaRDI QIDQ3661567zbMATH OpenOpenAlexFDO

Authors Urs Oswald, Vladik 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

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)