{"id":"W2057414399","doi":"10.1007/s00012-009-0027-x","title":"The spectrum of a finite pseudocomplemented lattice","year":2009,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Lattice (music); Stone's representation theorem for Boolean algebras; Boolean algebra; Combinatorics; Discrete mathematics; Complete Boolean algebra; Finite set; Pure mathematics; Algebra over a field; Two-element Boolean algebra; Algebra representation; Mathematical analysis; Physics","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.0008557905,0.0004731626,0.0006613579,0.001855091,0.001994202,0.003932242,0.001032548,0.001074233,0.006517273],"category_scores_gemma":[0.001860415,0.0003879394,0.0005104751,0.001100213,0.004097893,0.004408554,0.001478031,0.001681011,0.0006785122],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00131864,"about_ca_system_score_gemma":0.000759516,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001166602,"about_ca_topic_score_gemma":0.0005822462,"domain_scores_codex":[0.9991906,0.0001743665,0.00003274468,0.0001444518,0.000308123,0.0001496873],"domain_scores_gemma":[0.9988865,0.0004200338,0.000100575,0.0001249891,0.0001795989,0.0002882231],"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.00002976021,0.000008717785,0.00005226797,0.000009117508,0.000002477456,0.00005725669,0.0001047407,0.0003272517,0.0008271579,0.997034,0.0002693979,0.00127793],"study_design_scores_gemma":[0.00001563558,0.000009894159,0.00007271971,0.000007073855,0.000002455974,0.0001021074,0.00006875994,0.004327394,0.000481222,0.9938443,0.001058493,0.000009912935],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.709102,0.0009287316,0.1470072,0.002621855,0.0003663289,0.00003917175,0.0004079225,0.0004802473,0.1390465],"genre_scores_gemma":[0.9816882,0.0002012018,0.009136152,0.0001487181,0.0001611367,0.00002830364,0.0001079486,0.00005877937,0.008469511],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006517273,"threshold_uncertainty_score":0.02180243,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01013667443811228,"score_gpt":0.2299288911235166,"score_spread":0.2197922166854043,"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."}}