Search results

Formalize the notion of density in a strict poset

order-theory

Status: Open.

#1386 In UniMath/agda-unimath;

· lowasser opened on Mar 26, 2025

Logic, equality, and compactness

foundation

logic

order-theory

set-theory

Status: Open (in progress).

UniMath/agda-unimathnumber 1264

#1264 In UniMath/agda-unimath;

· fredrik-bakke opened on Feb 4, 2025

A constructive Cantor–Schröder–Bernstein theorem

experiment

foundation

logic

order-theory

Status: Draft (not ready).

UniMath/agda-unimathnumber 1206

#1206 In UniMath/agda-unimath;

· fredrik-bakke opened on Oct 20, 2024

Modal logic

foundation

lists

modal-logic

order-theory

univalent-combinatorics

Status: Draft (not ready).

UniMath/agda-unimathnumber 1146

#1146 In UniMath/agda-unimath;

· spcfox opened on May 31, 2024