Pages that link to "Item:Q1219275"
From MaRDI portal
The following pages link to Strongly constructive models and numerations of the Boolean algebra of recursive sets (Q1219275):
Displayed 4 items.
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations (Q887638) (← links)
- Non-self-equivalent constructivization of atomic Boolean algebras (Q1237725) (← links)
- THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS (Q4799377) (← links)
- Index Sets of Constructive Models that are Autostable Under Strong Constructivizations (Q5741335) (← links)