Reverse Mathematics of Separation Theorems in Lattice Theory

DOI10.1142/9789811259296_0008OpenAlexW4283010371MaRDI QIDQ6135567FDOQ6135567

Authors:

Publication date: 25 August 2023

Published in: Computability Theory and Foundations of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789811259296_0008

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Cited In (4)

• Reverse mathematics of separably closed sets
• Reverse mathematics and initial intervals
• On the strength of the finite intersection principle
• Reverse bridge theorem under constraint partition

This page was built for publication: Reverse Mathematics of Separation Theorems in Lattice Theory

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