Sciweavers

103 search results - page 2 / 21
» jsyml 2006
Sort
View
JSYML
2000
45views more  JSYML 2000»
14 years 10 months ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
53
Voted
JSYML
2000
50views more  JSYML 2000»
14 years 10 months ago
Model Companions of Theories with An Automorphism
Hirotaka Kikyo
JSYML
2000
41views more  JSYML 2000»
14 years 10 months ago
The Real Line in Elementary Submodels of Set Theory
Kenneth Kunen, Franklin D. Tall
JSYML
2002
61views more  JSYML 2002»
14 years 9 months ago
On Polynomial Time Computation over Unordered Structures
Andreas Blass, Yuri Gurevich, Saharon Shelah