{"id":"W1991083015","doi":"10.2307/2586561","title":"The real line in elementary submodels of set theory","year":2000,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Cardinality (data modeling); Mathematics; Topological space; Transitive closure; Transitive relation; Simple (philosophy); Closure (psychology); Axiom; Reachability; Real line; Discrete mathematics; Elementary theory; Set (abstract data type); Cardinal number (linguistics); Space (punctuation); Combinatorics; Computer science","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.003111307,0.0001494917,0.0003695497,0.000143048,0.00007788069,0.0000590619,0.001575643,0.00006300345,0.0001009498],"category_scores_gemma":[0.00006398035,0.00009071252,0.0001667655,0.0004708135,0.0001323884,0.0003240239,0.000187315,0.0003488857,0.000009719313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001025491,"about_ca_system_score_gemma":0.000149304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006076849,"about_ca_topic_score_gemma":0.00002799925,"domain_scores_codex":[0.9976498,0.0004160502,0.0009228842,0.0001957839,0.0004854679,0.0003300373],"domain_scores_gemma":[0.9983143,0.0005652203,0.0003652319,0.0005015201,0.000158755,0.00009496289],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003180703,0.0009632592,0.009764587,0.00004418514,0.0001474128,0.0002904517,0.005436934,0.02242857,0.0008035447,0.1350522,0.0007973834,0.8239534],"study_design_scores_gemma":[0.001585702,0.001163741,0.05670634,0.00007162871,0.00002605783,0.0004041028,0.0003042692,0.05131726,0.0007573392,0.8858669,0.001497079,0.0002995149],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9580671,0.001058138,0.03363484,0.002751345,0.0004435152,0.0002126581,0.00000382133,0.00002831964,0.003800336],"genre_scores_gemma":[0.9892203,0.0008444677,0.009271426,0.0003243649,0.0002180228,0.000002248467,4.985231e-7,0.000006740848,0.0001118893],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8236539,"threshold_uncertainty_score":0.3699149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02172968886334308,"score_gpt":0.2761347691118486,"score_spread":0.2544050802485056,"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."}}