{"id":"W1974650377","doi":"10.1007/s11856-008-0018-1","title":"Bounding the consistency strength of a five element linear basis","year":2008,"lang":"en","type":"article","venue":"Israel Journal of Mathematics","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Uncountable set; Mathematics; Basis (linear algebra); Consistency (knowledge bases); Element (criminal law); Axiom; Combinatorics; Aleph; Discrete mathematics; Pure mathematics; Countable set; Geometry; Theology","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.001194692,0.0001660846,0.0005461442,0.0001104844,0.0002101262,0.000005955995,0.0003826411,0.00008547464,0.0001119936],"category_scores_gemma":[0.001645827,0.0001030475,0.0002527146,0.0001361087,0.0003974963,0.00008550788,0.00006347278,0.0003485778,0.000007919869],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004495615,"about_ca_system_score_gemma":0.000123422,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000215611,"about_ca_topic_score_gemma":0.000005694355,"domain_scores_codex":[0.9980743,0.0001323157,0.001086019,0.00008439716,0.0004070427,0.0002159406],"domain_scores_gemma":[0.9958768,0.002140016,0.001261714,0.0003436892,0.0003105839,0.0000672297],"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.0001332965,0.001709454,0.0008526139,0.000615335,0.0008787936,0.0002637392,0.02924033,0.0001576465,0.001182003,0.9604437,0.002823378,0.001699756],"study_design_scores_gemma":[0.001613308,0.0004498181,0.00009081831,0.0005212509,0.0004326715,0.002676623,0.0268732,0.000996211,0.01055172,0.9538981,0.00162061,0.0002756742],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9595987,0.0005149676,0.0353554,0.0004646211,0.0002787235,0.0002065263,0.00001403657,0.00001782159,0.003549249],"genre_scores_gemma":[0.8163856,0.0003109229,0.1819888,0.0001196852,0.0001966952,0.0000032058,5.597767e-7,0.00003112628,0.0009634038],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1466334,"threshold_uncertainty_score":0.4202155,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05396085258312751,"score_gpt":0.3280557526570744,"score_spread":0.2740949000739469,"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."}}