{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005623027,0.000314224,0.00048061,0.0008939063,0.001006501,0.001200829,0.0007568672,0.0004406275,0.004773924],"category_scores_gemma":[0.002103173,0.0002393585,0.0005810465,0.0004339555,0.001428319,0.002990853,0.001593407,0.001256224,0.0004234331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000564048,"about_ca_system_score_gemma":0.000411833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006458314,"about_ca_topic_score_gemma":0.0008359123,"domain_scores_codex":[0.9994953,0.0001121427,0.00002698836,0.0000885789,0.0001679575,0.0001090033],"domain_scores_gemma":[0.9989543,0.0003902911,0.0001646284,0.0001188157,0.0001452633,0.0002266902],"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.00005360983,0.00002097808,0.0003901013,0.00002434046,0.000008180627,0.00007036954,0.0001305994,0.001015142,0.003824753,0.991318,0.0003463535,0.002797691],"study_design_scores_gemma":[0.00001684447,0.00002587668,0.0003935524,0.00000708885,0.000009658173,0.0001132557,0.00006802801,0.01881793,0.002100309,0.9771254,0.001307405,0.00001475344],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.816844,0.0004405738,0.1467634,0.0007069292,0.0001195061,0.00003314936,0.0001559287,0.0002364755,0.03469997],"genre_scores_gemma":[0.9878599,0.0001067825,0.008058563,0.0001019297,0.00007093978,0.00002719852,0.00007521249,0.00003181862,0.003667741],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004773924,"threshold_uncertainty_score":0.01597035,"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."}}