{"id":"W28294554","doi":"10.1002/asia.201700160","title":"Invariance and Definability: two faces of logical constants","year":2002,"lang":"en","type":"article","venue":"Chemistry - An Asian Journal","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Constant (computer programming); Epistemology; Computer science; Philosophy","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.0005115703,0.0001934237,0.0003150045,0.00003060216,0.0001628506,0.000244734,0.0009240256,0.00009245706,0.0003699597],"category_scores_gemma":[0.0001983134,0.0001709487,0.00007798495,0.0002419412,0.0004126891,0.0004519351,0.0002695287,0.0004200368,0.000006270807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006007305,"about_ca_system_score_gemma":0.00007978541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001589547,"about_ca_topic_score_gemma":9.815918e-7,"domain_scores_codex":[0.9983217,0.0001027987,0.0004466549,0.0004564487,0.0003286725,0.0003437347],"domain_scores_gemma":[0.9986187,0.00007100918,0.000232384,0.000544639,0.0001611805,0.0003720436],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000513066,0.002221655,0.07488318,0.0004263253,0.0001360853,0.0009730911,0.00710886,0.0002608831,0.05623929,0.006180672,0.001302784,0.8502159],"study_design_scores_gemma":[0.0105189,0.001855502,0.09354913,0.0005598185,0.000118514,0.03996599,0.003416233,0.409427,0.1045632,0.3260585,0.006157239,0.003809972],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8688486,0.0008921264,0.1147114,0.002294236,0.0002423226,0.0001297887,0.00000903778,0.000104004,0.01276859],"genre_scores_gemma":[0.9606064,0.00002935414,0.03908983,0.00006390108,0.0001268677,0.000001655966,4.902283e-7,0.00000613494,0.00007537485],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8464059,"threshold_uncertainty_score":0.6971087,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03338461051636817,"score_gpt":0.249772015388893,"score_spread":0.2163874048725248,"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."}}