scientific article; zbMATH DE number 3928984

MaRDI QIDQ3703885zbMATH OpenFDO

Authors Max Kanovich

Publication date 1984

zbMATH Keywords

independent propositionsinvariancesubrecursive levels of representation

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 4072945
• scientific article; zbMATH DE number 3885886
• How to prove representation-independent independence results
• Some properties of invariant sets
• Independence of countable sets of formulas of the propositional logic.

Cited in

(7)

• How to prove representation-independent independence results
• scientific article; zbMATH DE number 3885886 (Why is no real title available?)
• Some properties of invariant sets
• scientific article; zbMATH DE number 4072945 (Why is no real title available?)
• scientific article; zbMATH DE number 3325540 (Why is no real title available?)
• Independence of the primitive symbols of Lewis's calculi of propositions
• Theories with the independence property

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 Q3703885)