{"id":"W2979904875","doi":"10.1016/j.jcta.2019.105158","title":"Two first-order logics of permutations","year":2020,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Combinatorial Mathematics","field":"Mathematics","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Future Earth","funders":"Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung","keywords":"Bijection, injection and surjection; Bijection; Mathematics; Permutation (music); Combinatorics; Order (exchange); Set (abstract data type); Discrete mathematics; Parity of a permutation; Point (geometry); Algebraic number; Representation (politics); Symmetric group; Cyclic permutation; Computer science","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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.00125977,0.0001749833,0.0003021202,0.00005609269,0.0001903301,0.00005235934,0.0006013843,0.00007545337,0.0001792042],"category_scores_gemma":[0.009523624,0.0001788844,0.00010685,0.0005858632,0.0001545204,0.0001374461,0.0002723614,0.0001999084,0.00003940542],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003872833,"about_ca_system_score_gemma":0.00008784061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003772043,"about_ca_topic_score_gemma":0.0001327298,"domain_scores_codex":[0.9977182,0.0009411133,0.0004978685,0.0002934757,0.0003378897,0.0002114852],"domain_scores_gemma":[0.9937738,0.003085358,0.0003951654,0.000863146,0.00173713,0.0001453877],"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.000004922359,0.0003028042,0.0002122451,0.0001473273,0.0000260964,0.000001595023,0.0106195,0.00004512476,0.001618479,0.985436,0.0005442167,0.001041656],"study_design_scores_gemma":[0.001525102,0.000001791188,0.0001454357,0.000549505,0.00008579736,0.000008537905,0.0007987657,0.02784622,0.06010337,0.9013137,0.007184737,0.0004370105],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06632292,0.0001468095,0.8608981,0.01355962,0.0001136819,0.0004314267,0.00002593062,0.0002950767,0.05820648],"genre_scores_gemma":[0.6975102,0.00003853924,0.3013318,0.00008808039,0.00001682353,0.0000214225,0.00001988824,0.00003547001,0.0009377179],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6311873,"threshold_uncertainty_score":0.9988196,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03553630397565545,"score_gpt":0.2795504537181932,"score_spread":0.2440141497425378,"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."}}