Reverse Mathematics of Separation Theorems in Lattice Theory

DOI10.1142/9789811259296_0008MaRDI QIDQ6135567zbMATH OpenOpenAlexFDO

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)