The following pages link to A curious nucleus (Q979069):
Displaying 4 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- More on a curious nucleus (Q2318419) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
