347 search results - page 7 / 70 » Some Second Order Set Theory |
ICFCA
2004
Springer
14 years 22 days ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
ICA
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. We present a set of gradient based orthogonal and nonorthogonal matrix joint diagonalization algorithms. Our approach is to use the geometry of matrix Lie groups to devel...
CSSC
2008
13 years 7 months ago
2008
The interest in inference in the wavelet domain remains vibrant area of statistical research because of needs of scientific community to process and explore massive data sets. Prim...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...