加载中…
2026-10-15
Local definable -theorem and a refinement
Gareth John BoxallCharlotte KestnerTsinjo Rakotonarivo
文献摘要
We prove the definable -conjecture for NIP formulas in arbitrary first-order theories. We also prove a refinement and apply it to dense pairs.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本