Pages that link to "Item:Q2655144"
From MaRDI portal
The following pages link to Effectively inseparable Boolean algebras in lattices of sentences (Q2655144):
Displaying 4 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663) (← links)
- THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES (Q5305060) (← links)
