{"id":"W2768103053","doi":"10.1017/jsl.2018.84","title":"SPACES OF TYPES IN POSITIVE MODEL THEORY","year":2019,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Negation; Countable set; Space (punctuation); Distributive property; Duality (order theory); Mathematics; Model theory; Pure mathematics; Algebra over a field; Computer science; Discrete mathematics","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.0007066274,0.00007892161,0.0003488367,0.0001315746,0.00001223057,0.00000264918,0.0001513683,0.00008656835,0.0001193403],"category_scores_gemma":[0.0002337774,0.00005453283,0.00008310781,0.00007661239,0.0000818473,0.000108154,0.00002676444,0.0002241163,0.00001321271],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002455768,"about_ca_system_score_gemma":0.00004795014,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":7.355567e-7,"about_ca_topic_score_gemma":0.00000131771,"domain_scores_codex":[0.9992545,0.000122405,0.0003308343,0.00006232935,0.0001092309,0.00012065],"domain_scores_gemma":[0.9988974,0.0005258196,0.0003513295,0.0001117428,0.000085458,0.00002819115],"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.0002208129,0.0001190183,0.001205162,0.00003345304,0.00004633441,0.00001843458,0.001800901,0.001671114,0.002463984,0.9920817,0.00004122455,0.00029788],"study_design_scores_gemma":[0.0004397149,0.0001511089,0.0007088851,0.00007816175,0.00002358327,0.00006180792,0.0007824692,0.0003087532,0.001798123,0.9955809,0.000007892001,0.00005860484],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9791905,0.0004454901,0.005116324,0.0001924326,0.0001080773,0.00007480184,0.000002436158,0.000004587889,0.01486531],"genre_scores_gemma":[0.9937642,0.00005957821,0.005206985,0.0001171093,0.00003593081,4.355023e-7,1.732245e-7,0.000007840054,0.0008077057],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0145737,"threshold_uncertainty_score":0.2223784,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02537421170848743,"score_gpt":0.3180061572629725,"score_spread":0.2926319455544851,"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."}}