Sciweavers

25 search results - page 1 / 5
» jsyml 2000
Sort
View
59
Voted
JSYML
2000
61views more  JSYML 2000»
15 years 6 days ago
Interpreting Classical Theories in Constructive Ones
Jeremy Avigad
60
Voted
JSYML
2000
50views more  JSYML 2000»
15 years 6 days ago
Model Companions of Theories with An Automorphism
Hirotaka Kikyo
54
Voted
JSYML
2000
45views more  JSYML 2000»
15 years 6 days ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
68
Voted
JSYML
2000
41views more  JSYML 2000»
15 years 6 days ago
The Real Line in Elementary Submodels of Set Theory
Kenneth Kunen, Franklin D. Tall