{"id":"W2499234093","doi":"10.1017/cbo9780511760181.013","title":"Hierarchy of propositions and functions","year":2011,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Hierarchy; Mathematics; Combinatorics; Order (exchange); Line (geometry); Computer science; Geometry","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.001651213,0.0006463416,0.0005964166,0.002287487,0.002444495,0.006708221,0.0008607546,0.001219468,0.0231242],"category_scores_gemma":[0.003352829,0.000633218,0.0004902792,0.002400445,0.007891227,0.01016008,0.002148485,0.003299062,0.00973301],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004431755,"about_ca_system_score_gemma":0.002119465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004765829,"about_ca_topic_score_gemma":0.003920845,"domain_scores_codex":[0.997169,0.001031269,0.0001373997,0.0005157271,0.0008820707,0.0002646194],"domain_scores_gemma":[0.9983998,0.0006830381,0.00007182169,0.0002707048,0.000468989,0.0001057644],"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.000005026212,0.000002174606,0.00004010524,0.00003412655,0.000001820521,0.00001520434,0.0005951629,0.00006936157,0.0001037285,0.9775368,0.01027028,0.01132622],"study_design_scores_gemma":[0.000006736488,0.00001010764,0.0003896175,0.00007959046,0.000004261075,0.0001055264,0.0002287707,0.0004614488,0.00016847,0.672932,0.3256017,0.00001166579],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.005370995,0.0113755,0.08389557,0.00443645,0.0004199727,0.00005690107,0.001138971,0.0005693312,0.8927363],"genre_scores_gemma":[0.4353392,0.01281515,0.1429625,0.003142268,0.001658171,0.000328102,0.003630337,0.001040313,0.3990839],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.0231242,"threshold_uncertainty_score":0.07735813,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05022389709496267,"score_gpt":0.215168130568003,"score_spread":0.1649442334730404,"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."}}