11063 search results - page 236 / 2213 » On the existence of universal models |
133
click to vote
AML
2006
15 years 6 months ago
2006
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K, where K is the core model below a
166
click to vote
IWDW
2007
Springer
16 years 22 days ago
2007
Springer
Aiming at detecting secret information hidden in a given image using steganographic tools, steganalysis has been of interest since the end of 1990’s. In particular, universal ste...
132
click to vote
APAL
2008
15 years 6 months ago
2008
The principal result of this paper answers a long-standing question in the model theory of arithmetic [KS, Question 7] by showing that there exists an uncountable arithmetically cl...
149
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
An overview of an existing climate database which allows for storage of terabyte data volume is presented. Some features like the general architecture and the integration with an ...
170
click to vote
CC
2005
Springer
15 years 6 months ago
2005
Springer
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...