{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00166095,0.0009902064,0.0006053235,0.001353181,0.001474985,0.003424923,0.001568628,0.0009613342,0.01218908],"category_scores_gemma":[0.003153774,0.0007693582,0.002980555,0.0008494658,0.004270894,0.006510022,0.002411709,0.002639875,0.002436666],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002815543,"about_ca_system_score_gemma":0.001256414,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005345357,"about_ca_topic_score_gemma":0.005170505,"domain_scores_codex":[0.9983091,0.0002267983,0.0001135817,0.0004509171,0.0004776716,0.0004219669],"domain_scores_gemma":[0.9971078,0.001255759,0.0002908513,0.0006569241,0.0004982952,0.0001903691],"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.0002729732,0.00006572128,0.0009722008,0.0001669069,0.00006349273,0.0004728477,0.001214114,0.002794704,0.01308811,0.969116,0.003492432,0.008280502],"study_design_scores_gemma":[0.00008508177,0.0001163902,0.001382989,0.0000924548,0.000181709,0.0004916083,0.0008970702,0.01150553,0.02928509,0.9117435,0.04414236,0.00007626144],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2175648,0.001056657,0.6306973,0.001742237,0.000329395,0.0002378769,0.002761567,0.003402359,0.1422079],"genre_scores_gemma":[0.8608105,0.0005351906,0.1012234,0.000743197,0.0002268772,0.0002289593,0.003099059,0.001028258,0.03210465],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01218908,"threshold_uncertainty_score":0.04077655,"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."}}