Incompleteness in a topos

DOI10.1007/BF02366867zbMATH Open0891.18003OpenAlexW2041957877MaRDI QIDQ1385779FDOQ1385779

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

Recommendations

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

zbMATH Keywords

incompletenessinconsistency

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• 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)