Pages that link to "Item:Q2655144"
From MaRDI portal
The following pages link to Effectively inseparable Boolean algebras in lattices of sentences (Q2655144):
Displaying 7 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability (Q685078) (← links)
- A note on uniform density in weak arithmetical theories (Q2219096) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Definability of sentences in the language of Boolean algebras with distinguished ideals (Q2885262) (← links)
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663) (← links)
- THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES (Q5305060) (← links)