Index of /xml/Rocq/PARADOXES/BuraliForti

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Burali_Forti_Paradox/2005-07-05 08:13 -  
[ ]F.con.types.xml.gz2004-04-08 14:22 194  
[ ]A0.ind.types.xml.gz2004-04-08 14:22 195  
[ ]R0.con.types.xml.gz2004-04-08 14:22 196  
[ ]X0.con.types.xml.gz2004-04-08 14:22 196  
[ ]emb.ind.types.xml.gz2004-04-08 14:22 197  
[ ]sub.ind.types.xml.gz2004-04-08 14:22 197  
[ ]Omega.con.types.xml.gz2004-04-08 14:22 201  
[ ]A0_rec.con.types.xml.gz2004-04-08 14:22 203  
[ ]witness.con.types.xml.gz2004-04-08 14:22 204  
[ ]A0_rect.con.types.xml.gz2004-04-08 14:22 205  
[ ]morphism.con.types.xml.gz2004-04-08 14:22 205  
[ ]sub_rec.con.types.xml.gz2004-04-08 14:22 205  
[ ]sub_rect.con.types.xml.gz2004-04-08 14:22 207  
[ ]Omega.con.xml.gz2004-04-08 14:22 258  
[ ]F.con.xml.gz2004-04-08 14:22 259  
[ ]Burali_Forti.con.xml.gz2004-04-08 14:22 285  
[ ]X0.con.xml.gz2004-04-08 14:22 288  
[ ]Omega.con.body.xml.gz2004-04-08 14:22 318  
[ ]Omega_refl.con.xml.gz2004-04-08 14:22 327  
[ ]WF_emb.con.xml.gz2004-04-08 14:22 336  
[ ]witness.con.xml.gz2004-04-08 14:22 338  
[ ]F_emb_Omega.con.xml.gz2004-04-08 14:22 340  
[ ]R0.con.xml.gz2004-04-08 14:22 387  
[ ]Burali_Forti.con.body.xml.gz2004-04-08 14:22 407  
[ ]A0_rec.con.body.xml.gz2004-04-08 14:22 411  
[ ]A0_ind.con.body.xml.gz2004-04-08 14:22 412  
[ ]morphism.con.xml.gz2004-04-08 14:22 418  
[ ]emb_wit.con.xml.gz2004-04-08 14:22 431  
[ ]F.con.body.xml.gz2004-04-08 14:22 435  
[ ]A0.ind.xml.gz2004-04-08 14:22 440  
[ ]sub_rec.con.body.xml.gz2004-04-08 14:22 446  
[ ]sub_ind.con.body.xml.gz2004-04-08 14:22 447  
[ ]F_morphism.con.xml.gz2004-04-08 14:22 482  
[ ]fsub.con.types.xml.gz2004-04-08 14:22 483  
[ ]emb_trans.con.xml.gz2004-04-08 14:22 497  
[ ]sub.ind.xml.gz2004-04-08 14:22 500  
[ ]fsub.con.xml.gz2004-04-08 14:22 504  
[ ]X0.con.body.xml.gz2004-04-08 14:22 527  
[ ]Burali_Forti.con.types.xml.gz2004-04-08 14:22 547  
[ ]A0_rect.con.xml.gz2004-04-08 14:22 564  
[ ]A0_rec.con.xml.gz2004-04-08 14:22 566  
[ ]A0_ind.con.xml.gz2004-04-08 14:22 569  
[ ]witness.con.body.xml.gz2004-04-08 14:22 573  
[ ]sub_rec.con.xml.gz2004-04-08 14:22 613  
[ ]sub_rect.con.xml.gz2004-04-08 14:22 613  
[ ]sub_ind.con.xml.gz2004-04-08 14:22 615  
[ ]R0.con.body.xml.gz2004-04-08 14:22 625  
[ ]morphism.con.body.xml.gz2004-04-08 14:22 628  
[ ]emb_wit.con.body.xml.gz2004-04-08 14:22 653  
[ ]A0_rect.con.body.xml.gz2004-04-08 14:22 700  
[ ]Omega_refl.con.body.xml.gz2004-04-08 14:22 714  
[ ]A0_ind.con.types.xml.gz2004-04-08 14:22 728  
[ ]fsub.con.body.xml.gz2004-04-08 14:22 739  
[ ]sub_rect.con.body.xml.gz2004-04-08 14:22 749  
[ ]sub_ind.con.types.xml.gz2004-04-08 14:22 755  
[ ]inj.con.xml.gz2004-04-08 14:22 771  
[ ]emb_wit.con.types.xml.gz2004-04-08 14:22 775  
[ ]Omega_refl.con.types.xml.gz2004-04-08 14:22 810  
[ ]ACC_emb.con.xml.gz2004-04-08 14:22 822  
[ ]F_emb_Omega.con.body.xml.gz2004-04-08 14:22 928  
[ ]emb_ind.con.xml.gz2004-04-08 14:22 1.0K 
[ ]emb_ind.con.types.xml.gz2004-04-08 14:22 1.0K 
[ ]INDEX2005-07-05 08:12 1.1K 
[ ]emb.ind.xml.gz2004-04-08 14:22 1.1K 
[ ]emb_ind.con.body.xml.gz2004-04-08 14:22 1.1K 
[ ]F_emb_Omega.con.types.xml.gz2004-04-08 14:22 1.2K 
[ ]inj.con.body.xml.gz2004-04-08 14:22 1.4K 
[ ]WF_emb.con.types.xml.gz2004-04-08 14:22 1.4K 
[ ]WF_emb.con.body.xml.gz2004-04-08 14:22 1.5K 
[ ]F_morphism.con.body.xml.gz2004-04-08 14:22 1.6K 
[ ]inj.con.types.xml.gz2004-04-08 14:22 1.9K 
[ ]F_morphism.con.types.xml.gz2004-04-08 14:22 3.4K 
[ ]emb_trans.con.body.xml.gz2004-04-08 14:22 3.4K 
[ ]emb_trans.con.types.xml.gz2004-04-08 14:22 3.8K 
[ ]ACC_emb.con.body.xml.gz2004-04-08 14:22 4.1K 
[ ]ACC_emb.con.types.xml.gz2004-04-08 14:22 5.3K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80