{"id":"W2118397695","doi":"10.1007/s10773-011-0902-z","title":"Three Ultrafilters in a Modular Logic","year":2011,"lang":"en","type":"article","venue":"International Journal of Theoretical Physics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brandon University","funders":"","keywords":"Modular design; Embedding; Orthogonality; Conjecture; Mathematics; Algebra over a field; Lattice (music); Pure mathematics; Discrete mathematics; Computer science; Programming language; Physics; Artificial intelligence; Geometry","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.0001714747,0.00008582909,0.0001352138,0.00007663753,0.00001245585,0.00003319511,0.001338423,0.00003136561,0.00004886573],"category_scores_gemma":[0.00006817531,0.00006474184,0.0001109959,0.0001223643,0.0001579911,0.0006164458,0.000122541,0.0002127889,0.00001488725],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003304033,"about_ca_system_score_gemma":0.0000261824,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.731851e-7,"about_ca_topic_score_gemma":2.369188e-7,"domain_scores_codex":[0.9990825,0.00003154344,0.0002835554,0.000118029,0.0003452491,0.0001390962],"domain_scores_gemma":[0.9994137,0.00008655681,0.0001488389,0.0001469188,0.0001374868,0.00006645209],"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.00003646552,0.0001380993,0.0003881985,8.14872e-7,0.00002359869,0.000165615,0.0002383001,0.0003068288,0.0005501789,0.9866209,0.00000879026,0.01152221],"study_design_scores_gemma":[0.0003174976,0.0001068838,0.002068257,0.0000230793,0.000002999452,0.0000711684,0.00001189826,0.007786988,0.002813642,0.9866965,0.00002523587,0.00007588756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03361503,0.00002957212,0.9606291,0.0006731069,0.0006253148,0.00002883795,6.825223e-7,0.00001248517,0.004385884],"genre_scores_gemma":[0.9477204,0.00001381044,0.05152117,0.0005542344,0.0001826871,7.886895e-7,2.470273e-7,0.000004406558,0.000002260339],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9141054,"threshold_uncertainty_score":0.2640096,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02603446333230886,"score_gpt":0.2609289490659009,"score_spread":0.234894485733592,"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."}}