共 50 条
- [2] Logical definability on infinite traces [J]. THEORETICAL COMPUTER SCIENCE, 1996, 154 (01) : 67 - 84
- [4] Elementary submodels in infinite combinatorics [J]. DISCRETE MATHEMATICS, 2011, 311 (15) : 1585 - 1598
- [5] INFINITE COMBINATORICS PLAIN AND SIMPLE [J]. JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (03) : 1247 - 1281
- [6] Deduction and definability in infinite statistical systems [J]. SYNTHESE, 2019, 196 (05) : 1831 - 1861
- [7] Quantifier Free Definability on Infinite Algebras [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 730 - 738
- [9] Deduction and definability in infinite statistical systems [J]. Synthese, 2019, 196 : 1831 - 1861
- [10] Correction to: Deduction and definability in infinite statistical systems [J]. Synthese, 2020, 197 : 5539 - 5540