{"id":"W1987233195","doi":"10.1007/pl00000332","title":"Regular congruence-preserving extensions of lattices","year":2001,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Congruence (geometry); Lattice (music); Tilde; Extension (predicate logic); Zero (linguistics); Complete lattice; Pure mathematics; Combinatorics; Discrete mathematics; Geometry; Physics; Computer science; Quantum mechanics","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":[],"consensus_categories":[],"category_scores_codex":[0.0001189074,0.0001291707,0.0001909727,0.0001376227,0.0001255258,0.00003635472,0.001098603,0.00006122184,0.0001337873],"category_scores_gemma":[0.00007733484,0.0001203533,0.00007959559,0.0006763511,0.0001198488,0.001060655,0.0003746136,0.00009931172,0.00002921637],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002445735,"about_ca_system_score_gemma":0.00004794212,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001370751,"about_ca_topic_score_gemma":0.00003812757,"domain_scores_codex":[0.9989029,0.00006121517,0.0001872153,0.0003311382,0.0002359186,0.000281569],"domain_scores_gemma":[0.9987029,0.0001550248,0.0001287334,0.0007561272,0.0001472377,0.000109984],"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.00001177173,0.00006847637,0.002516068,0.00001361386,0.00004004927,0.0002513667,0.0008609659,0.0003537369,0.00519864,0.9788319,0.001529346,0.010324],"study_design_scores_gemma":[0.003179266,0.0007061777,0.03939244,0.0003745306,0.0001483408,0.000369564,0.003368858,0.05248801,0.02833792,0.7024105,0.1672606,0.001963883],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6821048,0.0008604148,0.2841398,0.002994021,0.0004639436,0.0002297022,0.000005598195,0.0004332261,0.02876844],"genre_scores_gemma":[0.9777554,0.0001504878,0.02064083,0.0003103144,0.00003399708,0.000001515036,0.000002964424,0.000008816793,0.001095631],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2956506,"threshold_uncertainty_score":0.4907866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01577096010359716,"score_gpt":0.2357589171859277,"score_spread":0.2199879570823305,"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."}}