scientific article; zbMATH DE number 3328993

zbMath0207.00902MaRDI QIDQ5607217

V. N. Grishin

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (5)

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

This page was built for publication: