{"id":"W1996583871","doi":"10.1007/s10992-011-9170-x","title":"Embedding If and Only If","year":2011,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"University of Nottingham; University of Leeds","keywords":"Embedding; Interpretation (philosophy); Triviality; Mathematics; Computer science; Artificial intelligence; Pure mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001355065,0.0006117693,0.0006350868,0.0009173664,0.001623635,0.002704181,0.0007328584,0.0013668,0.03626139],"category_scores_gemma":[0.004639608,0.0006341197,0.0006942635,0.0005773968,0.003286805,0.009513082,0.003887768,0.002412406,0.008247568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001049934,"about_ca_system_score_gemma":0.001032065,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001492203,"about_ca_topic_score_gemma":0.001954841,"domain_scores_codex":[0.9976242,0.0004429208,0.0001647818,0.0009224328,0.0003053897,0.0005402112],"domain_scores_gemma":[0.9968548,0.0009240624,0.0002228463,0.0006888531,0.001101603,0.0002078329],"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.0001257355,0.00004869733,0.001083123,0.0001848564,0.00003481104,0.0004497037,0.0008506142,0.000331731,0.002662415,0.9514058,0.01599681,0.02682568],"study_design_scores_gemma":[0.00004028941,0.00003117103,0.001478448,0.0000785403,0.00004636792,0.001007417,0.0009390045,0.003656334,0.005092836,0.9106424,0.07692211,0.0000650314],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1412752,0.0008538367,0.3283988,0.01214473,0.002260217,0.0003418688,0.004780224,0.005760197,0.504185],"genre_scores_gemma":[0.8830219,0.0004377067,0.03719112,0.002070452,0.0005502867,0.0002504835,0.00386631,0.0009063276,0.07170542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03626139,"threshold_uncertainty_score":0.1213065,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07626222733691729,"score_gpt":0.3348656494363541,"score_spread":0.2586034220994368,"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."}}