{"id":"W2886673224","doi":"10.1515/ms-2017-0138","title":"Single identities forcing lattices to be Boolean","year":2018,"lang":"en","type":"article","venue":"Mathematica Slovaca","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Unary operation; Mathematics; Complete Boolean algebra; Boolean algebras canonically defined; Stone's representation theorem for Boolean algebras; Distributive property; Two-element Boolean algebra; Boolean algebra; Forcing (mathematics); Distributive lattice; Free Boolean algebra; Lattice (music); Variable (mathematics); Discrete mathematics; Algebra over a field; Pure mathematics; Algebra representation","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001545205,0.0001375446,0.0001803545,0.000103025,0.0001880095,0.0002311516,0.0008083561,0.00003683798,0.0001302502],"category_scores_gemma":[0.0001256493,0.0001157117,0.00005300121,0.0003144989,0.00006585056,0.0005569462,0.0003767301,0.00006177562,0.0008140274],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002774408,"about_ca_system_score_gemma":0.00001343768,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000145288,"about_ca_topic_score_gemma":0.000007478909,"domain_scores_codex":[0.9988741,0.00002080164,0.0002284245,0.0002995754,0.0002569649,0.0003200843],"domain_scores_gemma":[0.9990576,0.00011767,0.00007388422,0.0005690387,0.00007143103,0.0001103652],"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.000004074434,0.000115968,0.00002393599,0.00008806709,0.0000224849,0.00001673762,0.01063186,0.00001104767,0.006399917,0.96472,0.006009214,0.01195668],"study_design_scores_gemma":[0.0002789488,0.000455661,0.0001621633,0.0001512195,0.0000189501,0.00005535706,0.0009240799,0.008521186,0.04523458,0.9159653,0.02767215,0.0005603565],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1276025,0.00005523386,0.8258646,0.001749173,0.0002858785,0.0001787546,8.730897e-7,0.0003333972,0.04392964],"genre_scores_gemma":[0.7927251,0.00000141037,0.2022216,0.00184635,0.0001718299,0.00001628756,4.5329e-7,0.00001439274,0.003002557],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6651227,"threshold_uncertainty_score":0.9999639,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04259816656108542,"score_gpt":0.2781317932135635,"score_spread":0.2355336266524781,"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."}}