{"id":"W2605592859","doi":"10.1215/00294527-3882335","title":"Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree","year":2017,"lang":"en","type":"article","venue":"Notre Dame Journal of Formal Logic","topic":"Mathematical Dynamics and Fractals","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Japan Society for the Promotion of Science; Natural Sciences and Engineering Research Council of Canada; Shizuoka University","keywords":"Mathematics; Extension (predicate logic); Combinatorics; Tree (set theory); Computer science; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001576229,0.000162697,0.0005247868,0.0001010635,0.0001394155,0.00006888193,0.0006959147,0.00009491412,0.00006203121],"category_scores_gemma":[0.0008209448,0.00007801892,0.0001748187,0.00006881105,0.0001776221,0.0003753044,0.00007483917,0.0003693357,0.000003829341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002305171,"about_ca_system_score_gemma":0.00004481166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001351134,"about_ca_topic_score_gemma":0.0001877254,"domain_scores_codex":[0.9983417,0.00007443734,0.0007348596,0.00009427321,0.0004956494,0.000259043],"domain_scores_gemma":[0.9973714,0.0005216405,0.001338636,0.0005277614,0.0001756632,0.00006493567],"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.002567271,0.004714973,0.01256182,0.0007572318,0.0003592534,0.001847952,0.008119359,0.0003577534,0.008063034,0.9171708,0.003219535,0.04026097],"study_design_scores_gemma":[0.004835387,0.003510204,0.09343664,0.001322297,0.0003193396,0.001502938,0.002327626,0.01164541,0.0006934439,0.8793823,0.0005492307,0.0004751772],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9833188,0.0000784019,0.006523721,0.001260984,0.00006528941,0.0002035793,0.00001003539,0.000005136787,0.008534076],"genre_scores_gemma":[0.9885337,0.00004449341,0.01115255,0.00009368627,0.00006441094,0.000002425189,0.000001043205,0.00001253331,0.00009511199],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.08087482,"threshold_uncertainty_score":0.3181519,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07248249006765904,"score_gpt":0.3311863567716262,"score_spread":0.2587038667039672,"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."}}