{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001641744,0.000178736,0.0002206727,0.001198537,0.0005048278,0.00007113557,0.0006441989,0.0001327408,0.00001161443],"category_scores_gemma":[0.000147325,0.0001487686,0.00006718894,0.001542245,0.0003585094,0.003899081,0.000152447,0.0006514281,0.00004234724],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007148239,"about_ca_system_score_gemma":0.0002461461,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004086836,"about_ca_topic_score_gemma":0.00004126295,"domain_scores_codex":[0.9973655,0.0006402871,0.0002695957,0.0001669006,0.0009451105,0.0006126567],"domain_scores_gemma":[0.9982926,0.0004034356,0.0001218731,0.0003964519,0.0005546501,0.0002309942],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"qualitative","study_design_scores_codex":[0.01988406,0.0009581033,0.008776102,0.002448274,0.0007469447,0.003354536,0.1790896,0.04915877,0.02057325,0.698855,0.007467038,0.008688264],"study_design_scores_gemma":[0.01267674,0.002537831,0.01787135,0.001840662,0.0001167247,0.0004113507,0.6386289,0.01202576,0.03341067,0.002896549,0.2759223,0.001661111],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6468252,0.0001308313,0.002430638,0.0000890756,0.0001351921,0.001293354,0.000029232,0.0001367703,0.3489297],"genre_scores_gemma":[0.9979317,0.00008128645,0.0001081852,0.00001115531,0.00005600496,0.000001394776,0.00001562862,0.00001096383,0.001783692],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6959585,"threshold_uncertainty_score":0.6066607,"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."}}