{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001222124,0.0006929665,0.000712592,0.001336714,0.002020202,0.004424547,0.00100598,0.001588907,0.009045715],"category_scores_gemma":[0.001788629,0.0003477278,0.0009367008,0.001855577,0.006552816,0.006920971,0.001643505,0.002951618,0.001620269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005334839,"about_ca_system_score_gemma":0.001195375,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002424702,"about_ca_topic_score_gemma":0.001811179,"domain_scores_codex":[0.998961,0.0003856534,0.00005515933,0.0002143906,0.0002874241,0.00009633737],"domain_scores_gemma":[0.999175,0.0004297811,0.00005242558,0.000154976,0.0001266554,0.00006123691],"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":[7.343223e-7,0.00000110388,0.00001264768,0.000008335883,0.000001183706,0.000007160477,0.00006189874,0.0001174412,0.00001474919,0.9977304,0.00119365,0.0008506839],"study_design_scores_gemma":[0.000001920156,0.00000194025,0.00001670313,0.00001678026,0.000001394267,0.00001697967,0.00002795064,0.0005845368,0.00002611079,0.9699406,0.02936371,0.000001364217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01118638,0.02132235,0.1699993,0.01930135,0.0005745799,0.00008630876,0.0007800776,0.0003361078,0.7764136],"genre_scores_gemma":[0.7373888,0.01619431,0.0714106,0.004890776,0.001883741,0.0005683556,0.001424973,0.0003005372,0.1659378],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.009045715,"threshold_uncertainty_score":0.03870714,"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."}}