The axiom of choice, co-comprehension schema and redundancies in triposes
Fabio Pasquali
TL;DR
This paper explores how the axiom of choice and co-comprehension influence the encoding of first-order logic within second-order frameworks, highlighting their roles in logical redundancies.
Contribution
It provides new insights into the impact of the axiom of choice and co-comprehension on the structure of triposes and logical encoding.
Findings
Axiom of choice affects the redundancy in triposes
Co-comprehension schema influences logical encoding efficiency
Identifies conditions where redundancies can be minimized
Abstract
We study the role of the axiom of choice and co-comprehention in second order encoding of first order predicates logic
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Logic, programming, and type systems