scientific article; zbMATH DE number 3855072

zbMATH Open0538.03022MaRDI QIDQ3323927FDOQ3323927

Authors: Silvi Bozzi 

Publication date: 1983

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

Recommendations

• scientific article; zbMATH DE number 5839768
• Transfer principles in nonstandard intuitionistic arithmetic
• scientific article; zbMATH DE number 2222244
• Presheaf semantics and independence results for some non-classical first- order logics
• On the quantificational logic of intuitionistic set theory

zbMATH Keywords

intuitionistic logicalgebraic sequentsgeometrical sequentsideal principleinterpretations in presheavestransfer principles for elementary theories

Mathematics Subject Classification ID

Intermediate logics (03B55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited In (1)

• Title not available (Why is that?)

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