scientific article; zbMATH DE number 903095

MaRDI QIDQ4884540zbMATH OpenFDO

Authors Yuping Zhang, Shi-Qiang Wang

Publication date 15 July 1996

zbMATH Keywords

Gentzen style proof theorymodel-theoretic weak forcingRobinson's weak forcing

Mathematics Subject Classification ID

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

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

Cited in

(5)

• Unramified forcing preserving the law of double negation
• A proofless proof of the Barwise compactness theorem
• Forcing in Proof Theory
• Proof-theoretic conservations of weak weak intuitionistic constructive set theories
• scientific article; zbMATH DE number 4195915 (Why is no real title available?)

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)