scientific article; zbMATH DE number 3928989

MaRDI QIDQ3703889zbMATH OpenFDO

Authors Yu. V. Gavrilenko

Publication date 1984

zbMATH Keywords

complexity of an inference of inconsistencyinconsistent systemsrealizable natural number

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Recommendations

• scientific article; zbMATH DE number 3974958
• scientific article; zbMATH DE number 4031681
• Inconsistent number systems
• Local consistency of arithmetic with an attainability predicate
• Number-theoretic set theories

Cited in

(3)

• scientific article; zbMATH DE number 3974958 (Why is no real title available?)
• scientific article; zbMATH DE number 4031681 (Why is no real title available?)
• On feasible numbers

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