{"id":"W3150900745","doi":"10.5802/cml.67","title":"Properties expressible in small fragments of the theory of the hyperfinite II <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msub> <mml:mrow/> <mml:mn>1</mml:mn> </mml:msub> </mml:math> factor","year":2021,"lang":"en","type":"article","venue":"Confluentes Mathematici","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Mathematics; Property (philosophy); Base (topology); Factor (programming language); Product (mathematics); Embedding; Quantifier (linguistics); Factorial; Discrete mathematics; Combinatorics; Computer science; Artificial intelligence; Mathematical analysis; Philosophy; Geometry; Epistemology","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0009449737,0.0003879681,0.0003964166,0.000108012,0.0004627785,0.00007758515,0.001105574,0.0004841419,0.003195801],"category_scores_gemma":[0.002385773,0.0003553654,0.0005607605,0.0003456475,0.001002516,0.0002814687,0.001150027,0.0006235177,0.0001332062],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001337841,"about_ca_system_score_gemma":0.0003390627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000267627,"about_ca_topic_score_gemma":0.00008178571,"domain_scores_codex":[0.9967613,0.0004047571,0.00107054,0.000504666,0.0006081429,0.0006505684],"domain_scores_gemma":[0.995731,0.001419939,0.001032897,0.001559853,0.0001357631,0.0001205496],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001964013,0.0004267525,0.00005343526,0.001477318,0.0003266673,0.00003943556,0.008336677,0.00009961089,0.01913636,0.9690058,0.0006469092,0.0002546489],"study_design_scores_gemma":[0.0009592106,0.0002026331,0.0001078855,0.002252398,0.000348306,0.0001348385,0.00513063,0.010356,0.923719,0.05585258,0.0005144002,0.00042213],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9756585,0.0008133178,0.0008376945,0.0001997609,0.0004644654,0.0001274452,0.0001033709,0.00007259943,0.02172289],"genre_scores_gemma":[0.9950534,0.0001123958,0.002520179,0.0004531446,0.0001007025,0.0002639075,0.00002084395,0.00014528,0.001330139],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9131532,"threshold_uncertainty_score":0.9998899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04152839305451013,"score_gpt":0.2600861589299137,"score_spread":0.2185577658754035,"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."}}