{"id":"W2024325951","doi":"10.1002/malq.200610049","title":"Local sentences and Mahlo cardinals","year":2007,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Equivalence (formal languages); Axiom; Regular cardinal; Sentence; Consistency (knowledge bases); Combinatorics; Integer (computer science); Order (exchange); Discrete mathematics; Type (biology); Pure mathematics; Computer science; 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.001186945,0.0002041874,0.0004124143,0.00006576044,0.0001291551,0.00002178958,0.0001520775,0.0001703841,0.0003647294],"category_scores_gemma":[0.0002281036,0.0001485958,0.00008744639,0.0000934202,0.000594247,0.00009744816,0.00002757431,0.0002137804,0.0001896584],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002210389,"about_ca_system_score_gemma":0.00000907016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001677957,"about_ca_topic_score_gemma":0.000007329994,"domain_scores_codex":[0.9985522,0.0000843328,0.0004349256,0.0002790779,0.0002068243,0.0004426207],"domain_scores_gemma":[0.9977944,0.001625635,0.00009295403,0.0002829851,0.00004363324,0.000160389],"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.00003579159,0.0001058101,0.00004284509,0.0001036357,0.00002845263,0.00008820229,0.001265319,2.215913e-7,0.0001111856,0.985419,0.0002129618,0.01258653],"study_design_scores_gemma":[0.0002480306,0.0003267946,0.0001313618,0.00003728625,0.00003742596,0.0002459069,0.005245821,0.0001201706,0.0002386146,0.9929489,0.0002345949,0.0001850331],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1561232,0.0001291158,0.812053,0.000424318,0.00009120951,0.000210433,0.000003290632,0.0001606172,0.03080477],"genre_scores_gemma":[0.9605717,0.000003368312,0.03814198,0.0002534629,0.00006931228,0.00001014747,0.00000124036,0.00001752363,0.000931287],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8044485,"threshold_uncertainty_score":0.6059561,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03542251275667117,"score_gpt":0.3315521679374453,"score_spread":0.2961296551807741,"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."}}