scientific article; zbMATH DE number 4152372

zbMATH Open0703.03036MaRDI QIDQ3481697FDOQ3481697

Authors: V. P. Orevkov 

Publication date: 1989

Full work available at URL: https://eudml.org/doc/68047

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4033741
• Theories very close to PA where Kreisel's Conjecture is false
• Kreisel's Conjecture with minimality principle
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).
• A Note on the Length of Proofs

zbMATH Keywords

Robinson arithmeticspeed-uplength of proof

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30)

Cited In (4)

• Title not available (Why is that?)
• Invertible infinitary calculus without loop rules for restricted FTL
• Results on the generic Kurepa hypothesis
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

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