Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Squares and Covering Matrices   Viale introduced covering matrices in his proof that SCH follows from PFA. In
the course of the proof amd subsequent work with Sharon, he isolated two
reflection principles, CP and S, which, under certain circumstances, are
satisfied by all covering matrices of a certain shape. Using square sequences,
we construct covering matrices for which CP and S fail. This leads naturally to
an investigation of square principles intermediate between $\square_{\kappa}$
and $\square(\kappa^+)$ for a regular cardinal $\kappa$. We provide a detailed
picture of the implications between these square principles.

8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an