Sciweavers

148 search results - page 5 / 30
» apal 2007
Sort
View
72
Voted
APAL
2002
65views more  APAL 2002»
15 years 11 days ago
Automata techniques for query inference machines
William I. Gasarch, Geoffrey R. Hird
78
Voted
APAL
2000
75views more  APAL 2000»
15 years 10 days ago
The wholeness axiom and Laver sequences
Paul Corazza
66
Voted
APAL
2000
50views more  APAL 2000»
15 years 10 days ago
The unfolding of non-finitist arithmetic
Solomon Feferman, Thomas Strahm
61
Voted
APAL
2000
63views more  APAL 2000»
15 years 10 days ago
Axioms and (counter) examples in synthetic domain theory
Jaap van Oosten, Alex K. Simpson
64
Voted
APAL
2000
46views more  APAL 2000»
15 years 10 days ago
Elementary equivalence of infinite-dimensional classical groups
Vladimir Tolstykh