Extension Lemma for Prime Theories in Countable Propositional Intuitionistic Logic — Statement & Proof - Androma

Androma

Extension Lemma for Prime Theories in Countable Propositional Intuitionistic Logic (Theorem # 7504)

Theorem

Edit Issues Pull Requests Attributions Admin

Discussion

Proof under construction

Proof under construction

A complete reviewed proof has not been accepted yet.

1 closed proof pull request records previous proof review.

Explore Further

Non-Axiomatizability of Finite Structures by First-Order Theories logic Admissibility of Structural Rules in Schematic List-Context LJ logic Robinson Test for Model Completeness logic Disjunction Property for Intuitionistic Propositional Logic logic Soundness of Intuitionistic Propositional Logic for Heyting Algebras logic Quantifier Elimination for Dense Linear Orders Without Endpoints logic Łoś's Theorem for Sentences logic Non-Axiomatizability of Archimedean Real Closed Fields logic