论文信息 - Nonstandard methods for finite structures - 字舞流文

Nonstandard methods for finite structures

[1] Ronald Fagin,et al. Monadic generalized spectra , 1975, Math. Log. Q..

[2] P. Dittmann. Ultraproducts as a tool for first-order inexpressibility in the finite and infinite , 2013, 1310.3137.

[3] Thomas Schwentick,et al. On Winning Ehrenfeucht Games and Monadic NP , 1996, Ann. Pure Appl. Log..