Incompleteness in a topos

DOI10.1007/BF02366867MaRDI QIDQ1385779zbMATH OpenOpenAlexFDO

Authors A. I. Provotar'

Publication date 20 July 1998

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02366867

zbMATH Keywords

incompletenessinconsistency

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• La logique des topos
• Information-theoretic incompleteness
• scientific article; zbMATH DE number 1749189

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Topoi. The categorial analysis of logic

Cited in

(4)

• Main directions in the development of informatics
• Using categorical methods in computer science
• What is the world of mathematics?
• On the paralogicality of some logical constructs

This page was built for publication: Incompleteness in a topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1385779)