Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
splitting page from principle of omniscience since these axioms are different in strength and presentation than the usual principles of omniscience. Also in parallel to the already differentiated Markov’s principle and analytic Markov’s principle.
Anonymouse
moving material about the analytic LLPO from analytic principle of omniscience to its own article at analytic LLPO, since it is sufficiently different from the other analytic principles of omniscience to warrant its own page. I plan on making analytic principle of omniscience a disambiguation page which links to each of analytic LPO/WLPO/LLPO.
Anonymouse
moving material about the analytic WLPO from analytic principle of omniscience to its own article at analytic WLPO, since it is sufficiently different from the other analytic principles of omniscience to warrant its own page.
Anonymouse
moving material about the analytic LPO from analytic principle of omniscience to its own article at analytic LPO, since it is sufficiently different from the other analytic principles of omniscience to warrant its own page.
Anonymouse
1 to 6 of 6