{"id":"W4388396982","doi":"10.1093/oso/9780198500513.003.0005","title":"Some model theory","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Countable set; Mathematics; Substructure; Cardinality (data modeling); Model theory; Class (philosophy); Property (philosophy); Completeness (order theory); Gödel's completeness theorem; Discrete mathematics; Pure mathematics; Continuum hypothesis; Elementary theory; Mathematical analysis; Computer science; Epistemology","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000254676,0.0003073916,0.0004082477,0.00008594152,0.0000785357,0.000005051173,0.0002225584,0.0005814993,0.005266522],"category_scores_gemma":[0.00006255034,0.0002535084,0.0001743662,0.000005793639,0.0002201066,0.0000764158,0.00008792095,0.0004624806,0.0007213675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003662706,"about_ca_system_score_gemma":0.00004039802,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.437131e-7,"about_ca_topic_score_gemma":0.000002376851,"domain_scores_codex":[0.9990885,0.00001910738,0.0002644269,0.0002824659,0.0001250904,0.0002203574],"domain_scores_gemma":[0.9987658,0.000466684,0.0001276854,0.0005414003,0.00003456779,0.00006392166],"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.00003094788,0.00001323668,4.216904e-8,0.00002346547,0.00006847864,0.00003009585,0.00005143769,0.00002243968,0.000002097529,0.9902709,0.00816854,0.001318307],"study_design_scores_gemma":[0.0001285412,0.00001589032,1.188827e-8,0.00003234102,0.00007143719,0.00002344991,0.00001104229,0.0001796013,0.0000142081,0.9434813,0.05575879,0.0002833524],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000003778729,0.0006678448,0.08943134,0.0000778506,0.000137882,0.000142588,0.00001492286,0.0002224474,0.9093013],"genre_scores_gemma":[0.0001051997,0.0004157688,0.009263224,0.001021166,0.0003349206,0.000005952078,0.0000117114,0.00009507863,0.988747],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.08016811,"threshold_uncertainty_score":0.9999917,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05722287024121558,"score_gpt":0.3091196860615065,"score_spread":0.2518968158202909,"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."}}