{"id":"W4415033443","doi":"10.48550/arxiv.2505.22603","title":"Oscillating subalgebras of the atomless countable Boolean algebra","year":2025,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Akademie Věd České Republiky; Grantová Agentura České Republiky; European Commission; National Science Foundation","keywords":"Countable set; Complete Boolean algebra; Stone's representation theorem for Boolean algebras; Boolean algebra; Two-element Boolean algebra; Free Boolean algebra; Boolean algebras canonically defined; Extension (predicate logic)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003996623,0.0004087848,0.0005635208,0.0001163898,0.0002863451,0.0001007613,0.003397435,0.0002916405,0.00003392083],"category_scores_gemma":[0.0001630572,0.000308395,0.0003087645,0.0006499997,0.0001736199,0.0002592582,0.004942331,0.000867385,0.00004114996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001223243,"about_ca_system_score_gemma":0.0004693625,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001171297,"about_ca_topic_score_gemma":0.00003646727,"domain_scores_codex":[0.9972969,0.0001587191,0.0006168329,0.000924115,0.0004919679,0.000511422],"domain_scores_gemma":[0.9966471,0.0002359015,0.0005733757,0.002244747,0.0002113713,0.00008756341],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.00001057574,0.0001305519,0.7067524,0.0005915142,0.0001602793,0.00001765621,0.001257394,0.003824024,0.00107307,0.2774064,0.001042427,0.007733721],"study_design_scores_gemma":[0.001334009,0.0001263253,0.6101036,0.002583017,0.000207222,0.00003124606,0.000299419,0.02103852,0.04930431,0.2959268,0.01659782,0.002447681],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.91377,0.0008958557,0.06979236,0.0008877278,0.002359615,0.0005132111,0.00002612717,0.000278119,0.01147693],"genre_scores_gemma":[0.9929843,0.00006568177,0.003781542,0.0008842188,0.0001438998,0.00003160969,0.000006408387,0.00001842688,0.002083929],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.09664883,"threshold_uncertainty_score":0.9999368,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03120390919087418,"score_gpt":0.2662707630602782,"score_spread":0.235066853869404,"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."}}