scientific article; zbMATH DE number 3557735

MaRDI QIDQ4133592zbMATH OpenFDO

Authors Carlo Marchini

Publication date 1977

Mathematics Subject Classification ID

Classical first-order logic (03B10) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• scientific article; zbMATH DE number 1406810
• Sets, Topoi and Intuitionism
• scientific article; zbMATH DE number 2222246
• scientific article; zbMATH DE number 3904807
• Toposes for semigroups: an invitation
• Relating First-Order Set Theories and Elementary Toposes
• On topologies in a topos
• Partiality, cartesian closedness, and toposes
• scientific article; zbMATH DE number 130897
• scientific article; zbMATH DE number 3229368

Cited in

(2)

• The Skolem-Löwenheim theorem in toposes. II
• The definitions of middle object and weak topos

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