{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001739072,0.000868789,0.0007692886,0.00171666,0.003390681,0.009162633,0.001742594,0.002054908,0.01166251],"category_scores_gemma":[0.003803658,0.001001427,0.002317119,0.001789377,0.005634383,0.01143199,0.003553522,0.004876331,0.001372552],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004707083,"about_ca_system_score_gemma":0.002374757,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003267912,"about_ca_topic_score_gemma":0.004512606,"domain_scores_codex":[0.9973351,0.0007201207,0.0001839979,0.0005450623,0.000544144,0.0006713985],"domain_scores_gemma":[0.9970696,0.001395989,0.0002113404,0.0004247841,0.0003638143,0.0005343969],"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.00004374624,0.00001717669,0.00007917803,0.00001859809,0.000003600182,0.00004253348,0.0002121806,0.0001782675,0.0002061273,0.9951584,0.0007968884,0.00324326],"study_design_scores_gemma":[0.00001947234,0.00001175441,0.0000926073,0.00001701857,0.00001079083,0.00009760306,0.0001658818,0.0009876869,0.0006402415,0.9899177,0.008021946,0.00001724571],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1343852,0.002924769,0.4825691,0.0103406,0.001279858,0.0002114514,0.001908759,0.001483797,0.3648964],"genre_scores_gemma":[0.8318064,0.0008751093,0.09789471,0.001857501,0.0003497589,0.0001311839,0.001230894,0.0003283463,0.06552617],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01166251,"threshold_uncertainty_score":0.039015,"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."}}