{"id":"W1966379018","doi":"10.2178/jsl/1190150288","title":"A uniqueness theorem for iterations","year":2002,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Functional Equations Stability Results","field":"Mathematics","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Uniqueness; Countable set; Transitive relation; Mathematics; Discrete mathematics; Combinatorics; Pure mathematics; Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006118797,0.00008896584,0.0002168518,0.0001280583,0.000103374,0.00003698327,0.0001534334,0.00006075665,0.0003293513],"category_scores_gemma":[0.002147755,0.00006452294,0.0001672671,0.0001696439,0.00004601434,0.0001694453,0.00001300846,0.0001229387,0.00001689103],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007991987,"about_ca_system_score_gemma":0.00003936161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":7.785042e-7,"about_ca_topic_score_gemma":0.000002685676,"domain_scores_codex":[0.9989871,0.00006834033,0.0005115687,0.00008214623,0.0002204575,0.0001303787],"domain_scores_gemma":[0.9978223,0.001102416,0.0003067687,0.0001674941,0.0005387623,0.00006224042],"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.00005742452,0.0004559398,0.0001259306,0.00006626925,0.00007208842,0.000005066082,0.00123692,0.0001957495,0.0009513315,0.9850179,0.01013441,0.001681001],"study_design_scores_gemma":[0.0008051632,0.0002451705,0.0001986903,0.00003812503,0.00005625388,0.0001671992,0.0001539935,0.002172237,0.0003264384,0.9909343,0.004809589,0.00009288666],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.577141,0.0007187329,0.3654918,0.01865158,0.00144384,0.001316956,0.0000889966,0.0001241425,0.03502299],"genre_scores_gemma":[0.9657378,0.00002280039,0.03249694,0.0002465716,0.0003530232,0.0000178136,0.000001788836,0.00001444414,0.001108812],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3885968,"threshold_uncertainty_score":0.3606166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1441852712389649,"score_gpt":0.3401671201379032,"score_spread":0.1959818488989383,"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."}}