{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001413222,0.0001159037,0.0001295691,0.00006988041,0.0002087174,0.0000518538,0.001039368,0.00002886415,0.00002931315],"category_scores_gemma":[0.00003949421,0.00008485226,0.00007612984,0.0005559989,0.00007574684,0.0003931885,0.0001244735,0.0001023192,0.00002643469],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002717051,"about_ca_system_score_gemma":0.00003823432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001938804,"about_ca_topic_score_gemma":0.00002037384,"domain_scores_codex":[0.9990234,0.00006025175,0.0001849751,0.0002281125,0.0002071,0.0002961745],"domain_scores_gemma":[0.9988967,0.0002810381,0.0001241697,0.0005816363,0.00005150576,0.0000649169],"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.00000867917,0.00003054103,0.00007939098,0.000001463564,0.00001538325,0.00001569643,0.000319617,0.00005340125,0.0001865957,0.986509,0.0005856166,0.01219464],"study_design_scores_gemma":[0.00156704,0.000808051,0.01629271,0.00003560958,0.00003721314,0.00002713343,0.0005446419,0.0192613,0.005845828,0.8616292,0.0934193,0.0005319649],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06876774,0.0005331888,0.8658127,0.02531321,0.0004754765,0.0005044803,0.00001239505,0.0005107044,0.03807009],"genre_scores_gemma":[0.9898471,0.00006667485,0.00888954,0.0006993078,0.00003382705,9.642658e-7,0.000002864538,0.000004489043,0.0004551837],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9210794,"threshold_uncertainty_score":0.3460175,"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."}}