Pages that link to "Item:Q1135820"

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)