scientific article; zbMATH DE number 903095

zbMATH Open0848.03011MaRDI QIDQ4884540FDOQ4884540

Shi-Qiang Wang, Yuping Zhang

Publication date: 15 July 1996

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

Recommendations

• Forcing in Proof Theory
• scientific article; zbMATH DE number 4195915
• scientific article; zbMATH DE number 3891338
• scientific article; zbMATH DE number 3959397
• scientific article; zbMATH DE number 3855082

zbMATH Keywords

Gentzen style proof theoryRobinson's weak forcingmodel-theoretic weak forcing

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Model-theoretic forcing (03C25)

Cited In (4)

• Forcing in Proof Theory
• Proof-theoretic conservations of weak weak intuitionistic constructive set theories
• Unramified forcing preserving the law of double negation
• A proofless proof of the Barwise compactness theorem

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