{"id":"W2475385159","doi":"10.1017/cbo9781139342605.013","title":"Ramsey’s extensional propositional functions","year":2013,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Extensional definition; Propositional calculus; Mathematics; Geology; Discrete mathematics; Paleontology","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.0009125737,0.0008197926,0.0005770109,0.001366221,0.001021519,0.003389231,0.0007104028,0.0008496257,0.01353256],"category_scores_gemma":[0.00157573,0.0004906537,0.0004468569,0.001608327,0.004319023,0.008006311,0.001392031,0.003989299,0.003007412],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002254351,"about_ca_system_score_gemma":0.0007028051,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001385539,"about_ca_topic_score_gemma":0.001253253,"domain_scores_codex":[0.9995648,0.0001638608,0.00002353805,0.00007235,0.0001332658,0.00004219478],"domain_scores_gemma":[0.999543,0.0002586176,0.00001923563,0.00007789511,0.00008026942,0.00002109229],"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.000004143423,0.000003215836,0.000007997892,0.00001893524,0.000001400946,0.000009128602,0.0001311799,0.0001113869,0.00006689978,0.9902153,0.002941242,0.006489259],"study_design_scores_gemma":[0.00000347956,0.000003231339,0.00004952496,0.00003315967,0.000003522577,0.00005158505,0.00005155196,0.0003966844,0.0001270273,0.9245179,0.07475739,0.000005031434],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.008958181,0.01662873,0.07610537,0.005428429,0.0007275938,0.00002159063,0.0002728777,0.0002587371,0.8915985],"genre_scores_gemma":[0.5185109,0.01966373,0.04173665,0.002175419,0.002072165,0.0001431944,0.0005006001,0.0004344721,0.4147628],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01353256,"threshold_uncertainty_score":0.04527086,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03574782738471816,"score_gpt":0.2322483357937303,"score_spread":0.1965005084090121,"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."}}