Pages that link to "Item:Q1288130"

The following pages link to Autostability of Boolean algebras with distinguished ideal (Q1288130):

Displayed 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)