On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity JBZJ7NPQ4G

URI	`m2://res/JBZJ7NPQ4G`
Kind	preprint
Creators	Michele Contente, Maria Emilia Maietti
Date	2024-07-04
MSC	03-XX
Subjects	arxiv math.LO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
138B5240J7	statement	proposition 6.12	arxiv
1662TAFZ62	statement	proposition 5.12	arxiv
1SNJNM77KD	statement	corollary 4.4	arxiv
1TK32WY2YY	statement	proposition 6.3	arxiv
3CPA8A93EC	definition	definition 5.1	arxiv
3PKV2PNWY4	statement	proposition 3.7	arxiv
3T7YVGGF7F	definition	definition 3.5	arxiv
4XE0SD8CG2	definition	definition 3.6	arxiv
5DBNZM3TQW	statement	corollary 6.4	arxiv
5KS17V98CM	statement	proposition 6.2	arxiv
8SVJE84J9Y	statement	proposition 5.11	arxiv
97P3SQD637	statement	proposition 5.9	arxiv
C1M1GYNDAJ	definition	definition 4.1	arxiv
DCAZGKGM7G	statement	proposition 3.10	arxiv
E2TK6JR38R	definition	definition 5.8	arxiv
G7PBRH2SJW	statement	proposition 6.5	arxiv
GMX8QFDN2Q	statement	corollary 6.7	arxiv
HT4SF3SMJN	statement	corollary 5.3	arxiv
JPK8PZB1FN	statement	theorem 3.4	arxiv
JXN8B88TBD	statement	proposition 5.5	arxiv
KEFK95KV3V	statement	corollary 5.6	arxiv
KKEAZQN796	statement	theorem 3.1	arxiv
NMGVQ3T7YT	definition	definition 6.1	arxiv
RYW67KQ3QG	statement	proposition 6.11	arxiv
S83VQCCH6M	statement	proposition 5.2	arxiv
SE3Q65AGAS	statement	proposition 4.3	arxiv
SPRYATPEQG	statement	proposition 3.8	arxiv
VE7T4449MD	statement	corollary 5.10	arxiv
XZMSW74WW7	statement	theorem 3.3	arxiv
ZB3AM17DW8	statement	proposition 6.6	arxiv