{"id":"W2145771949","doi":"10.1142/s021906130300025x","title":"BOUNDING BY CANONICAL FUNCTIONS, WITH CH","year":2003,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Institut d'Estudis Catalans; Israel Science Foundation","keywords":"Mathematics; Countable set; Bounding overwatch; Bounded function; Class (philosophy); Function (biology); Discrete mathematics; Property (philosophy); Combinatorics; Pure mathematics; Artificial intelligence; Computer science; Mathematical analysis","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002182617,0.001144669,0.001014307,0.002045251,0.0026116,0.004279842,0.001562046,0.00135265,0.008693548],"category_scores_gemma":[0.007889077,0.0006320878,0.001932799,0.001259718,0.005301033,0.01004584,0.006518351,0.003884063,0.002015787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001519566,"about_ca_system_score_gemma":0.001088064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001233073,"about_ca_topic_score_gemma":0.00107453,"domain_scores_codex":[0.9972083,0.0005719747,0.0001546519,0.0008681963,0.0007518164,0.0004450467],"domain_scores_gemma":[0.9952088,0.001676326,0.0003660789,0.001413005,0.0007583632,0.0005773905],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002741731,0.00001916214,0.0004046731,0.00003432135,0.000008099898,0.00008543444,0.0002258751,0.001283557,0.0007681364,0.9910967,0.0007966575,0.005250008],"study_design_scores_gemma":[0.00001530097,0.00006406161,0.0005099438,0.0000309199,0.00002640083,0.000411144,0.0001605494,0.02957412,0.003961985,0.9525002,0.01271684,0.00002855002],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08697794,0.0007448726,0.7935022,0.001187254,0.0003219463,0.0001011333,0.0002793545,0.001035852,0.1158496],"genre_scores_gemma":[0.8590578,0.000702863,0.09604049,0.0003291155,0.000311831,0.0002955199,0.0003669249,0.0003507137,0.04254464],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008693548,"threshold_uncertainty_score":0.02908283,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03787400244132558,"score_gpt":0.318535244344913,"score_spread":0.2806612419035874,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}