Index of /xml/CoRN/reals/Bridges_iso

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]bridges_axioms_imply_ours/2005-07-05 08:13 -  
[ ]seq.con.types.xml.gz2004-11-09 18:15 193  
[ ]Hum.con.types.xml.gz2004-11-09 18:15 194  
[ ]kaf.con.types.xml.gz2004-11-09 18:15 194  
[ ]card.con.types.xml.gz2004-11-09 18:15 195  
[ ]saghf.con.types.xml.gz2004-11-09 18:15 197  
[ ]Pcard1.con.types.xml.gz2004-11-09 18:15 198  
[ ]seq2set.con.types.xml.gz2004-11-09 18:15 200  
[ ]Pinf_unfolded1.con.types.xml.gz2004-11-09 18:16 213  
[ ]Psup_unfolded1.con.types.xml.gz2004-11-09 18:16 213  
[ ]Bridges_R_as_CReals.con.types.xml.gz2004-11-09 18:17 216  
[ ]sup_tail_as_Cauchy.con.types.xml.gz2004-11-09 18:17 220  
[ ]card.con.xml.gz2004-11-09 18:15 300  
[ ]Bridges_R_as_CReals.con.xml.gz2004-11-09 18:17 302  
[ ]Pseq1_unfolded.con.body.xml.gz2004-11-09 18:15 313  
[ ]Pinf_unfolded1.con.body.xml.gz2004-11-09 18:16 340  
[ ]Psup_unfolded1.con.body.xml.gz2004-11-09 18:16 340  
[ ]sup_tail_as_Cauchy.con.xml.gz2004-11-09 18:17 394  
[ ]bridges_lemma1a.con.xml.gz2004-11-09 18:15 403  
[ ]bridges_lemma1b.con.xml.gz2004-11-09 18:15 421  
[ ]bridges_lemma2a.con.xml.gz2004-11-09 18:16 453  
[ ]bridges_lemma2b.con.xml.gz2004-11-09 18:16 453  
[ ]P_is_inhabited.con.types.xml.gz2004-11-09 18:15 454  
[ ]tail_seq.con.xml.gz2004-11-09 18:16 461  
[ ]Psup_proj1.con.xml.gz2004-11-09 18:16 471  
[ ]Pinf_proj1.con.xml.gz2004-11-09 18:16 472  
[ ]card_fin.con.body.xml.gz2004-11-09 18:15 480  
[ ]lubp_gives_Cauchy.con.xml.gz2004-11-09 18:17 488  
[ ]inf.con.xml.gz2004-11-09 18:16 506  
[ ]sup.con.xml.gz2004-11-09 18:16 506  
[ ]L_less_sup_n.con.xml.gz2004-11-09 18:17 511  
[ ]inf_geEq.con.xml.gz2004-11-09 18:16 524  
[ ]sup_leEq.con.xml.gz2004-11-09 18:16 527  
[ ]L_less_sup_n.con.body.xml.gz2004-11-09 18:17 538  
[ ]sup_tail_is_Cauchy.con.xml.gz2004-11-09 18:17 543  
[ ]seq.con.xml.gz2004-11-09 18:15 570  
[ ]sup_tail_as_Cauchy.con.body.xml.gz2004-11-09 18:17 578  
[ ]sup_tail_leEq.con.xml.gz2004-11-09 18:16 578  
[ ]sup_tail_decrease.con.xml.gz2004-11-09 18:17 583  
[ ]tail_seq.con.types.xml.gz2004-11-09 18:16 589  
[ ]card_fin.con.xml.gz2004-11-09 18:15 597  
[ ]Bridges_R_is_CReals.con.xml.gz2004-11-09 18:17 600  
[ ]seq2set.con.xml.gz2004-11-09 18:15 609  
[ ]indeks.con.xml.gz2004-11-09 18:15 632  
[ ]Bridges_R_as_CReals.con.body.xml.gz2004-11-09 18:17 634  
[ ]tail_is_Cauchy.con.xml.gz2004-11-09 18:16 636  
[ ]le_witness_informative.con.xml.gz2004-11-09 18:14 645  
[ ]tail_seq.con.body.xml.gz2004-11-09 18:16 669  
[ ]Hum.con.xml.gz2004-11-09 18:15 678  
[ ]kaf.con.xml.gz2004-11-09 18:15 679  
[ ]saghf.con.xml.gz2004-11-09 18:15 682  
[ ]Bridges_R_is_CReals.con.body.xml.gz2004-11-09 18:17 701  
[ ]indeks.con.types.xml.gz2004-11-09 18:15 725  
[ ]card_fin.con.types.xml.gz2004-11-09 18:15 743  
[ ]finite_seq.con.body.xml.gz2004-11-09 18:15 744  
[ ]L_less_sup_n.con.types.xml.gz2004-11-09 18:17 748  
[ ]Bridges_R_is_CReals.con.types.xml.gz2004-11-09 18:17 798  
[ ]finite_seq.con.xml.gz2004-11-09 18:15 805  
[ ]P_is_inhabited.con.xml.gz2004-11-09 18:15 828  
[ ]convergent_subseq.con.xml.gz2004-11-09 18:17 836  
[ ]bounded_quantifier_informative.con.xml.gz2004-11-09 18:15 868  
[ ]P_is_inhabited.con.body.xml.gz2004-11-09 18:15 898  
[ ]Pindeks.con.xml.gz2004-11-09 18:15 915  
[ ]seq2set.con.body.xml.gz2004-11-09 18:15 933  
[ ]Pkaf.con.xml.gz2004-11-09 18:15 938  
[ ]Psaghf.con.xml.gz2004-11-09 18:15 944  
[ ]Pseq1_unfolded.con.xml.gz2004-11-09 18:15 960  
[ ]is_Archimedes'.con.xml.gz2004-11-09 18:14 1.0K 
[ ]Pinf_unfolded2_informative.con.body.xml.gz2004-11-09 18:17 1.0K 
[ ]Psup_unfolded2_informative.con.body.xml.gz2004-11-09 18:17 1.0K 
[ ]le_witness_informative.con.types.xml.gz2004-11-09 18:14 1.0K 
[ ]Psup_unfolded1.con.xml.gz2004-11-09 18:16 1.1K 
[ ]Pinf_unfolded1.con.xml.gz2004-11-09 18:16 1.1K 
[ ]finite_seq.con.types.xml.gz2004-11-09 18:15 1.2K 
[ ]is_Archimedes'.con.types.xml.gz2004-11-09 18:14 1.3K 
[ ]up_bound_for_n_element.con.xml.gz2004-11-09 18:15 1.3K 
[ ]low_bound_for_n_element.con.xml.gz2004-11-09 18:15 1.3K 
[ ]Pcard1.con.xml.gz2004-11-09 18:15 1.3K 
[ ]Pseq1.con.body.xml.gz2004-11-09 18:15 1.4K 
[ ]indeks.con.body.xml.gz2004-11-09 18:15 1.4K 
[ ]bound_tk2.con.xml.gz2004-11-09 18:15 1.4K 
[ ]sup_leEq.con.body.xml.gz2004-11-09 18:16 1.4K 
[ ]sup_leEq.con.types.xml.gz2004-11-09 18:16 1.4K 
[ ]inf_geEq.con.body.xml.gz2004-11-09 18:16 1.4K 
[ ]inf_geEq.con.types.xml.gz2004-11-09 18:16 1.4K 
[ ]Psup_unfolded2.con.xml.gz2004-11-09 18:16 1.5K 
[ ]Pinf_unfolded2.con.xml.gz2004-11-09 18:16 1.5K 
[ ]bound_tk1.con.xml.gz2004-11-09 18:15 1.5K 
[ ]fin_is_fin.con.xml.gz2004-11-09 18:15 1.5K 
[ ]Pinf_unfolded2_informative.con.xml.gz2004-11-09 18:17 1.6K 
[ ]Psup_unfolded2_informative.con.xml.gz2004-11-09 18:17 1.6K 
[ ]leEq_geEq.con.xml.gz2004-11-09 18:14 1.6K 
[ ]trick'.con.xml.gz2004-11-09 18:15 1.6K 
[ ]trick.con.xml.gz2004-11-09 18:15 1.7K 
[ ]inequality3.con.xml.gz2004-11-09 18:15 1.7K 
[ ]inequality1.con.xml.gz2004-11-09 18:14 1.7K 
[ ]Hum.con.body.xml.gz2004-11-09 18:15 1.8K 
[ ]Pinf.con.body.xml.gz2004-11-09 18:16 1.8K 
[ ]inf.con.types.xml.gz2004-11-09 18:16 1.8K 
[ ]sup.con.types.xml.gz2004-11-09 18:16 1.8K 
[ ]Psup.con.body.xml.gz2004-11-09 18:16 1.9K 
[ ]inequality4.con.xml.gz2004-11-09 18:15 1.9K 
[ ]Pseq1.con.xml.gz2004-11-09 18:15 1.9K 
[ ]inequality2.con.xml.gz2004-11-09 18:14 2.0K 
[ ]kaf.con.body.xml.gz2004-11-09 18:15 2.0K 
[ ]sup_tail_leEq.con.body.xml.gz2004-11-09 18:16 2.0K 
[ ]saghf.con.body.xml.gz2004-11-09 18:15 2.0K 
[ ]Psup_unfolded2_informative.con.types.xml.gz2004-11-09 18:17 2.0K 
[ ]Pinf_unfolded2_informative.con.types.xml.gz2004-11-09 18:17 2.0K 
[ ]Pseq1_unfolded.con.types.xml.gz2004-11-09 18:15 2.2K 
[ ]seq.con.body.xml.gz2004-11-09 18:15 2.2K 
[ ]sup_tail_leEq.con.types.xml.gz2004-11-09 18:16 2.2K 
[ ]card.con.body.xml.gz2004-11-09 18:15 2.3K 
[ ]fin_is_fin.con.types.xml.gz2004-11-09 18:15 2.7K 
[ ]Pinf.con.xml.gz2004-11-09 18:16 2.8K 
[ ]glbp.con.xml.gz2004-11-09 18:14 2.9K 
[ ]Psup.con.xml.gz2004-11-09 18:16 2.9K 
[ ]Pseq1.con.types.xml.gz2004-11-09 18:15 3.0K 
[ ]inf.con.body.xml.gz2004-11-09 18:16 3.1K 
[ ]sup.con.body.xml.gz2004-11-09 18:16 3.1K 
[ ]INDEX2005-07-05 08:11 3.1K 
[ ]Pindeks.con.body.xml.gz2004-11-09 18:15 3.2K 
[ ]le_witness_informative.con.body.xml.gz2004-11-09 18:14 3.4K 
[ ]Pkaf.con.body.xml.gz2004-11-09 18:15 3.7K 
[ ]fin_is_fin.con.body.xml.gz2004-11-09 18:15 3.7K 
[ ]sup_tail_decrease.con.body.xml.gz2004-11-09 18:17 3.7K 
[ ]low_bound_for_n_element.con.body.xml.gz2004-11-09 18:15 3.7K 
[ ]Psaghf.con.body.xml.gz2004-11-09 18:15 3.7K 
[ ]up_bound_for_n_element.con.body.xml.gz2004-11-09 18:15 3.7K 
[ ]bound_tk1.con.body.xml.gz2004-11-09 18:15 3.7K 
[ ]is_Archimedes'.con.body.xml.gz2004-11-09 18:14 4.2K 
[ ]sup_tail_decrease.con.types.xml.gz2004-11-09 18:17 4.6K 
[ ]bound_tk2.con.body.xml.gz2004-11-09 18:15 5.2K 
[ ]Pcard1.con.body.xml.gz2004-11-09 18:15 5.5K 
[ ]Pindeks.con.types.xml.gz2004-11-09 18:15 6.4K 
[ ]Pkaf.con.types.xml.gz2004-11-09 18:15 6.4K 
[ ]bound_tk1.con.types.xml.gz2004-11-09 18:15 6.4K 
[ ]Psaghf.con.types.xml.gz2004-11-09 18:15 6.5K 
[ ]low_bound_for_n_element.con.types.xml.gz2004-11-09 18:15 7.0K 
[ ]up_bound_for_n_element.con.types.xml.gz2004-11-09 18:15 7.1K 
[ ]bounded_quantifier_informative.con.body.xml.gz2004-11-09 18:15 7.5K 
[ ]Pinf.con.types.xml.gz2004-11-09 18:16 7.7K 
[ ]Psup.con.types.xml.gz2004-11-09 18:16 7.8K 
[ ]Psup_proj1.con.types.xml.gz2004-11-09 18:16 7.8K 
[ ]Pinf_proj1.con.types.xml.gz2004-11-09 18:16 8.0K 
[ ]bound_tk2.con.types.xml.gz2004-11-09 18:15 8.1K 
[ ]bounded_quantifier_informative.con.types.xml.gz2004-11-09 18:15 8.7K 
[ ]trick'.con.body.xml.gz2004-11-09 18:15 11K 
[ ]trick.con.body.xml.gz2004-11-09 18:15 11K 
[ ]Pinf_proj1.con.body.xml.gz2004-11-09 18:16 12K 
[ ]Psup_proj1.con.body.xml.gz2004-11-09 18:16 13K 
[ ]trick.con.types.xml.gz2004-11-09 18:15 17K 
[ ]trick'.con.types.xml.gz2004-11-09 18:15 17K 
[ ]Psup_unfolded2.con.body.xml.gz2004-11-09 18:16 19K 
[ ]Pinf_unfolded2.con.body.xml.gz2004-11-09 18:16 20K 
[ ]bridges_lemma1a.con.body.xml.gz2004-11-09 18:15 21K 
[ ]bridges_lemma1a.con.types.xml.gz2004-11-09 18:15 25K 
[ ]Pinf_unfolded2.con.types.xml.gz2004-11-09 18:16 25K 
[ ]Psup_unfolded2.con.types.xml.gz2004-11-09 18:16 26K 
[ ]tail_is_Cauchy.con.body.xml.gz2004-11-09 18:16 38K 
[ ]convergent_subseq.con.body.xml.gz2004-11-09 18:17 38K 
[ ]tail_is_Cauchy.con.types.xml.gz2004-11-09 18:16 38K 
[ ]convergent_subseq.con.types.xml.gz2004-11-09 18:17 38K 
[ ]leEq_geEq.con.types.xml.gz2004-11-09 18:14 41K 
[ ]leEq_geEq.con.body.xml.gz2004-11-09 18:14 45K 
[ ]glbp.con.types.xml.gz2004-11-09 18:14 61K 
[ ]glbp.con.body.xml.gz2004-11-09 18:14 72K 
[ ]sup_tail_is_Cauchy.con.body.xml.gz2004-11-09 18:17 85K 
[ ]inequality1.con.types.xml.gz2004-11-09 18:14 86K 
[ ]inequality1.con.body.xml.gz2004-11-09 18:14 93K 
[ ]sup_tail_is_Cauchy.con.types.xml.gz2004-11-09 18:17 94K 
[ ]lubp_gives_Cauchy.con.types.xml.gz2004-11-09 18:17 98K 
[ ]lubp_gives_Cauchy.con.body.xml.gz2004-11-09 18:17 99K 
[ ]inequality3.con.types.xml.gz2004-11-09 18:15 107K 
[ ]bridges_lemma1b.con.types.xml.gz2004-11-09 18:15 108K 
[ ]inequality3.con.body.xml.gz2004-11-09 18:15 112K 
[ ]bridges_lemma1b.con.body.xml.gz2004-11-09 18:15 121K 
[ ]inequality2.con.body.xml.gz2004-11-09 18:14 144K 
[ ]inequality4.con.body.xml.gz2004-11-09 18:15 162K 
[ ]inequality2.con.types.xml.gz2004-11-09 18:14 177K 
[ ]bridges_lemma2a.con.types.xml.gz2004-11-09 18:16 188K 
[ ]inequality4.con.types.xml.gz2004-11-09 18:15 195K 
[ ]bridges_lemma2a.con.body.xml.gz2004-11-09 18:16 197K 
[ ]bridges_lemma2b.con.types.xml.gz2004-11-09 18:16 248K 
[ ]bridges_lemma2b.con.body.xml.gz2004-11-09 18:16 267K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80