{"id":"W1516781106","doi":"","title":"SOME RESULTS IN THE EXTENSION WITH A COHERENT SUSLIN TREE (Aspects of Descriptive Set Theory)","year":2012,"lang":"en","type":"article","venue":"Kyoto University Research Information Repository (Kyoto University)","topic":"Advanced Research in Systems and Signal Processing","field":"Engineering","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); Tree (set theory); Set (abstract data type); Discrete mathematics; Algebra over a field; Combinatorics; Pure mathematics; Computer science","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.003099576,0.0004703899,0.0007819101,0.002822608,0.00298217,0.003270233,0.001103938,0.001406249,0.005677088],"category_scores_gemma":[0.003162317,0.0004760353,0.001961589,0.00331654,0.0061597,0.007268387,0.002949816,0.003146949,0.0005555241],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002944853,"about_ca_system_score_gemma":0.000771413,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002176672,"about_ca_topic_score_gemma":0.002004944,"domain_scores_codex":[0.9986898,0.0003663099,0.00007312048,0.0002717932,0.0004199377,0.0001790491],"domain_scores_gemma":[0.9976768,0.001460177,0.0001739121,0.0002396428,0.0002391403,0.0002103711],"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.00000558826,0.000008905494,0.0001882208,0.00002416863,0.000003482546,0.00004408638,0.000213226,0.0003024791,0.0001644157,0.9969323,0.0003947896,0.00171826],"study_design_scores_gemma":[0.000006639616,0.00001600228,0.0004341327,0.00003022962,0.000008984523,0.00007751709,0.0001038428,0.002657174,0.0002270805,0.9895356,0.006893303,0.000009385487],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2453402,0.0129408,0.4620635,0.009743125,0.0006340489,0.00008959392,0.0006660262,0.0004711479,0.2680517],"genre_scores_gemma":[0.9154516,0.003150728,0.06145122,0.001252763,0.0009569894,0.0001374464,0.0004745444,0.00009934572,0.01702529],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005677088,"threshold_uncertainty_score":0.02136654,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03830073281606103,"score_gpt":0.2488556142542807,"score_spread":0.2105548814382197,"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."}}