{"id":"W2921844982","doi":"10.1016/j.dam.2019.02.032","title":"Zero–one laws for <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" display=\"inline\" overflow=\"scroll\" id=\"d1e19\" altimg=\"si6.gif\"><mml:mi>k</mml:mi></mml:math>-variable first-order logic of sparse random graphs","year":2019,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Limits and Structures in Graph Theory","field":"Mathematics","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina","funders":"Russian Science Foundation","keywords":"Mathematics; Graph; Order (exchange); Zero (linguistics); Scroll; Algorithm; Discrete mathematics; Combinatorics; Philosophy; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00132262,0.0006811741,0.0009111467,0.0001762739,0.0005710169,0.0001819815,0.0009595358,0.0007415591,0.0001781326],"category_scores_gemma":[0.0006227368,0.0006550131,0.0006894183,0.0004295986,0.0004503493,0.0002599464,0.0006251548,0.0005331493,0.0002158339],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001952169,"about_ca_system_score_gemma":0.0001492068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002975044,"about_ca_topic_score_gemma":0.00002543407,"domain_scores_codex":[0.9958635,0.00005274156,0.001405711,0.0007700119,0.0009516631,0.0009563898],"domain_scores_gemma":[0.9945459,0.002017389,0.00125047,0.001798196,0.0001482558,0.0002397606],"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.0006724172,0.0003587797,0.000007294895,0.00347167,0.0006708931,0.00001174286,0.002123512,0.0004198843,0.002603324,0.9887653,0.0007920414,0.000103116],"study_design_scores_gemma":[0.003542561,0.0003169718,0.000006007161,0.0005174003,0.0008211571,0.0000524563,0.001013033,0.3519473,0.004918811,0.6346225,0.00152868,0.0007131936],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9411216,0.0001809202,0.04067156,0.000088345,0.0006297625,0.000740763,0.000395866,0.0002230634,0.0159481],"genre_scores_gemma":[0.8462014,0.0001645318,0.1515388,0.0003497888,0.0002399963,0.0006384206,0.0002544012,0.0003109891,0.0003016611],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3541429,"threshold_uncertainty_score":0.9995901,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02048708668114661,"score_gpt":0.2501845265000929,"score_spread":0.2296974398189462,"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."}}