scientific article; zbMATH DE number 3328993

MaRDI QIDQ5607217zbMATH OpenFDO

Authors V. N. Grishin

Publication date 1969

Mathematics Subject Classification ID

Consistency and independence results (03E35) Relative consistency and interpretations (03F25)

Cited in

(5)

• Representation of functions and total antisymmetric relations in monadic third order logic
• Symmetry as a criterion for comprehension motivating Quine's `New Foundations'
• On the consistency of an impredicative subsystem of Quine's NF
• Decreasing sentences in simple type theory
• A combinatorial result related to the consistency of New Foundations

This page was built for publication:

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