Sciweavers

25 search results - page 1 / 5
» jsyml 2000
Sort
View
JSYML
2000
45views more  JSYML 2000»
13 years 9 months ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
JSYML
2000
41views more  JSYML 2000»
13 years 9 months ago
The Real Line in Elementary Submodels of Set Theory
Kenneth Kunen, Franklin D. Tall