Pages that link to "Item:Q1288130"
From MaRDI portal
The following pages link to Autostability of Boolean algebras with distinguished ideal (Q1288130):
Displaying 4 items.
- Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals (Q498238) (← links)
- Autostable atomic-ideal enrichments of computable Boolean algebras (Q600736) (← links)
- Computably categorical Boolean algebras enriched by ideals and atoms (Q764268) (← links)
- The branching theorem and computable categoricity in the Ershov hierarchy (Q887636) (← links)