Sciweavers

103 search results - page 2 / 21
» jsyml 2006
Sort
View
JSYML
2000
45views more  JSYML 2000»
13 years 5 months ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
JSYML
2000
41views more  JSYML 2000»
13 years 5 months ago
The Real Line in Elementary Submodels of Set Theory
Kenneth Kunen, Franklin D. Tall
JSYML
2002
61views more  JSYML 2002»
13 years 4 months ago
On Polynomial Time Computation over Unordered Structures
Andreas Blass, Yuri Gurevich, Saharon Shelah