Pages that link to "Item:Q1135820"
From MaRDI portal
The following pages link to Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977 (Q1135820):
Displaying 7 items.
- Infinite dimensional proper subspaces of computable vector spaces (Q402446) (← links)
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- Regularity, fitness, and the block structure of frames (Q2502183) (← links)
- Point-sensitive and point-free patch constructions (Q2504392) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)
- The regular-locally compact coreflection of a stably locally compact locale (Q5928473) (← links)