|
发表于 2025-7-8 18:26:15
来自手机
|
显示全部楼层
naerypme 发表于 2025-7-8 16:27, S% S- k6 F) G. [% c+ Z
错了,这次复旦哲学系有一个老师作报告,哈哈
* _! K" ~3 X3 y5 L6 ^. u3 L1 i: P1 Q
这老兄伯克利数学博士,本科华盛顿大学数学与计算机系,博士后在复旦数学系,博士后做好后在复旦哲学系工作,现在副教授了
# a5 _7 ^' ]/ R9 h& b2 v7 d* O N6 d" x, P
William Johnson
, K, I( h- m3 S& x' i2 m* |- u+ Q8 K, s+ v5 Y @" m* x' V/ }( ~
个人简介 Personal profile7 E0 d2 R2 J* ^! b, K
* c- E7 j) j( ~
School of Philosophy, Fudan University, 220 Handan Road, Shanghai, China 200433.% z$ y. p$ C( ~
Email:willjohnson@fudan.edu.cn3 P- S( z0 ~+ ?) I7 O
9 C+ P! u( I+ o/ Q- {7 E7 w. k
教育和工作经历 Education and Work Experience P) I V2 |& Q7 ~3 _) L+ `
" p1 d7 U; K0 M( c教育经历 Education5 }$ s! H \5 g; c
. c9 n1 \" Y7 J. m7 ^; x
Ph.D. Mathematics, University of California Berkeley, Aug 2011–Jun 2016. Dissertation: Fun with Fields. Advised by Tom Scanlon.
% {$ t/ j0 I) I+ A/ Q' N H8 ~B.S. Mathematics and Computer Science, University of Washington, Sep 2007–Jun 2011. Thesis: Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game.
- w7 v0 T/ q$ l* d$ v- h
* E7 n Q4 B$ j工作经历 Work Experience' t, e- H# D, N/ Y. l6 r2 R6 j' \5 p
& H7 j( O# n' j2 z% ~
Associate Professor. Fudan University School of Philosophy, Dec. 2022–present. 8 j) _9 d7 n1 ]; Y
Young associate researcher. Fudan University School of Philosophy, Sep. 2020–Dec. 2022.
& V; f1 m( H' ?Postdoc. Fudan University School of Mathematical Sciences, Oct 2018–Aug. 2020.& }0 k- V: m: I1 s
Software Engineer. Niantic, Inc., Jan 2016–Jul 2018.5 f$ b% O5 w/ M7 J
6 }3 L! U7 M0 C2 v H0 ~研究方向 Research Interests
, A( I& _( _4 S( I1 b4 r/ P
/ z5 b; X5 U+ h; g& xModel theory of fields and valued fields" I4 D( n$ F8 y6 S* v5 b
Neostability: strongly dependent theories, NTP2 theories, dp-rank, o-minimality ; i% G& K8 e/ {/ D: ]
Pseudofinite fields and ACFA- H- L7 i" ^' ?1 [
Definable groups and tame topology
8 L7 X) \: x. n4 Z! i3 ~% C u# pApplications of cohomology and category theory to model theory1 g V' c( ?, d% T: W
* _; S/ K2 p1 C; }
主要学术成果 Academic Achievements
' P+ n' Q j& l+ G) J. j+ @
% X: ?, j: h) P, v+ i5 I5 f代表性论文 Academic Papers( K3 r) U9 {% a, y% y
1 Y0 R2 {( m1 w" O2 ]1. Johnson, W. and Ye, J. (2024). Curve-excluding fields. Journal of the European Mathematical Society (accepted).
# k2 A; D9 g+ f* N2. Andújar Guerrero, P. and Johnson, W. (2024). Around definable types in p-adically closed fields. Annals of Pure and Applied Logic 175(10): 103484.7 N& q, ]) N+ K
3. Johnson, W. and Yao, N. (2024). One-dimensional subgroups and connected components in non-abelian p-adic definable groups. Journal of Symbolic Logic (online first)./ O8 J0 G* G. A* R- P$ x) q
4. Johnson, W., Tran, C.-M., Walsberg, E., and Ye, J. (2024). The etale-open topology and the stable fields conjecture. Journal of the European Mathematical Society 26(10): 4033-4070.
* a+ Q6 x0 p6 h5. Johnson, W. (2023). Topologizing interpretable groups in p-adically closed fields. Notre Dame Journal of Formal Logic 64(4): 571-609.) r+ ?& k K4 k( e
6. Johnson, W. and Yao, N. (2023). Abelian groups definable in p-adically closed fields. Journal of Symbolic Logic (online first).
; H1 G: K* o2 F0 z2 A6 q9 z7. Johnson, W. and Ye, J. (2023). A note on geometric theories of fields. Model Theory 2(1): 121-132.: G! N( u0 R& u0 C9 F$ Q
8. Johnson, W. (2023). Type-definable NIP fields are Artin-Schreier closed. Fundamenta Mathematicae 260:251-261.
% g. k: d* q+ G. ]' b9. Johnson, W. (2023). A note on fsg groups in p-adically closed fields. Mathematical Logic Quarterly 69(1):50-57.2 @/ C/ K5 ]9 z9 z
10. Johnson, W., Walsberg, E., and Ye, J. (2023). The étale open topology over the fraction field of a henselian local domain. Mathematische Nachrichten 296(5): 1928-1937.
9 f3 J# W( A, {5 y11. Johnson, W. (2023). The classification of dp-minimal and dp-small fields. Journal of the European Mathematical Society 25(2): 467-513.- q) _$ e4 A0 x; ^; g6 {" y: o8 i$ Z
12. Johnson, W. (2022). Henselianity in NIP Fp-algebras. Model Theory 1(1): 115-128.
/ `- |* t5 {# j) X13. Johnson, W. and Yao, N. (2022). On non-compact p-adic definable groups. Journal of Symbolic Logic 87(1):188-213.6 I6 m4 }6 i0 e& S& D1 _5 k
14. Johnson, W. (2022). A criterion for uniform finiteness in the imaginary sorts. Archive for Mathematical Logic 61: 583-589.
; h) R: x+ P% C% m15. Johnson, W. (2022). Forking and dividing in fields with several orderings and valuations. Journal of Mathematical Logic 22(1): 2150025.' m& w, q. |$ u+ Y7 K9 g
16. Johnson, W. (2022). Counting mod n in pseudofinite fields. Israel Journal of Mathematics 247: 697-739.
8 [+ h* y6 P2 W* f4 u5 O17. Johnson, W. (2021). Dp-finite fields I(B): positive characteristic. Annals of Pure and Applied Logic 172(6):102949.
4 g! a0 {9 `& t; F7 l0 S' E* b18. Johnson, W. (2021). Dp-finite fields I(A): the infinitesimals. Annals of Pure and Applied Logic 172(6):102947.
, c+ |( p+ ~- M; x7 [/ _19. Johnson, W. (2020). On the proof of elimination of imaginaries in algebraically closed valued fields. Notre Dame Journal of Formal Logic 61(3): 363-381.
S) n' e( U0 b' ]20. Johnson, W. (2018). The canonical topology on dp-minimal fields. J. Math. Logic 18(2): 1850007.9 M2 n) N' x' V- B/ [* ?, {
21. Johnson, W. (2018). Interpretable sets in dense o-minimal structures. J. Symbolic Logic 83(4): 1477-1500.
% c7 g: h$ f- Z' ?' c! g# H/ S22. Appendix to Freitag, J., Li, W., Scanlon, T. and Johnson, W. (2017). Differential Chow varieties exist. J. London Math. Soc. 95: 128-156.7 H8 F) W+ i9 K2 i: [* y
23. Johnson, W. (2014). The combinatorial game theory of well-tempered scoring games. International Journal of Game Theory 43: 415-438.
1 S+ ?' @ H' d) S8 G' j, K4 R# _) \/ m) P
参加的会议 Conference Talks" ?5 ~/ }) H8 D7 W6 }
2 H' U0 k! Y: E( x2 o! `
1. A classification of dp-minimal integral domains. 2024 Beijing Model Theory Conference, China.
0 d# q/ v+ S' I7 o2 V2. C-minimal fields are geometric. 2023 Asian Logic Conference, Tianjin, China.* _1 u8 m, J {& A1 T9 S
3. Generic differentiability and the P-minimal group conjectures of Onshuus and Pillay. 2023 Beijing Logic Meeting, China.
8 W( ~# t0 ~4 ~/ O+ j% P! l4. Around NIP Noetherian domains. 2023 conference Model theory of valued fields at CIRM, Marseille, France.
4 x" {% X# J! K: V5. Dolich and Goodrick's visceral theories. 2021 Delta15 Logic Workshop, Nanjing, China. _+ u- `5 `3 p7 h" r' }& ?8 `
6. On non-compact p-adic definable groups. 2021 Workshop on Trends in Pure and Applied Model Theory, Fields institute, Toronto, Canada.
! ~9 ~& I* T! k3 E4 ?; a( s7. V-topologies and beyond. 2020 Chinese Mathematical Society Annual Conference, Shijiazhuang, China.3 x- _4 J& v" x
8. An update on dp-finite fields. 2019 Chinese Annual Conference on Mathematical Logic, Chongqing, China.
/ S( v! T& q% _+ n9 f. y- Y9. From modular lattices to valuation rings. 2019 conference Model Theory of Valued fields and Applications, University of Münster, Germany.; ], ~5 p, Y& f+ u5 x& |
10. Multi-valued algebraically closed fields are NTP2. 2018 workshop Model Theory of Valued Fields, IHP, Paris, France.
; L" x/ ^, u) Y5 k' d# i& Y11. When does Teq eliminate ∃∞? 2016 North American meeting of the Association for Symbolic Logic, Storrs, US.4 m5 y( u: z& i
12. On dp-minimal fields. 2015 Neostability Theory meeting in Oaxaca, Mexico.& i% T, z& e S0 {, k) G
13. Interpretable sets in o-minimal structures. 2015 North American meeting of the ASL, Urbana-Champaign, US.
$ _/ V* B' r. o3 `+ j, _5 h. Y* Z6 P9 C/ M; C$ q
预印本 Preprints
# l$ Q1 u# e7 P9 ^/ D( m
/ H) X9 ^$ g9 S/ B! s1. with Yatir Halevi and Christian d'Elbée. The classification of dp-minimal integral domains (2024). arXiv:2405.21014.' _2 P; H/ z( E! Z6 ^
2. Generic differentiability and P-minimal groups (2024). arXiv:2404.17234.
9 e9 B0 `6 V+ J% x1 F- _. t) [3. Visceral theories without assumptions (2024). arXiv:2404.11453.% t, y$ m9 W( C' M# p' j( X
4.C-minimal fields have the exchange property (2024). arXiv:2403.17478.: }( a! e9 M D0 D l
5. Dp-finite and Noetherian NIP integral domains (2023). arXiv:2302.03315.
0 Y# D# Q- L5 T! `+ r+ o% K5 M6. Dp-finite fields VI: the dp-finite Shelah conjecture (2020). arXiv:2005.13989.
2 K$ N7 T4 i6 G" }$ _1 g. _( R7. Dp-finite fields V: topological fields of finite weight (2020). arXiv:2004.14732.
$ @( q% f. j$ }: M k2 N R! N8. Dp-finite fields IV: the rank 2 picture (2020). arXiv:2003.09130.$ v# b3 D" R/ q3 u
9. Dp-finite fields III: inflators and directories (2019). arXiv:1911.04727. @4 U h( ]8 d+ j" M& R* Q& G9 D
10. Dp-finite fields II: the canonical topology and its relation to henselianity (2019). arXiv:1910.05932.
0 R- q! h, w' p) y% U: }11. Finite burden in multivalued algebraically closed fields (2019). arXiv:1905.04991./ C2 |2 `$ n1 t8 H( r! }5 T/ h
12. Circular planar resistor networks with nonlinear and signed conductors (2012). arXiv:1203.4045.3 c5 R2 E8 |7 m) @7 `; f
13. The knotting-unknotting game played on sums of rational shadows (2011). arXiv:1107.2635..* J( _# \( v7 g+ I
) p( a0 t! D/ E+ ]其他 Miscellaneous6 x6 d2 B5 Z# Q" s. D
U/ g0 ^0 y* B5 O
1.Fun with Fields (2016). PhD dissertation, UC Berkeley.
5 a4 D$ `: }) O% ]: \9 l& P2.Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game (2011). Undergraduate Senior Thesis, University of Washington.
% E0 i5 l+ l; ^7 R Z# z
) P! B. ~3 V+ `# n; j荣誉及获奖 Grants and Awards
* k5 r9 T) |; O3 X9 ^* R( L& O# o8 @. ~" }
2022 National Natural Science Foundation of China Young Science Fund Project1 D4 O3 |- J4 T3 |+ k
2018 NSF Mathematical Sciences Postdoctoral Research Fellowship/ m ^8 B. |+ j8 A' ^1 t, _
2016 Sacks Prize for outstanding dissertation in mathematical logic (Association for Symbolic Logic)! c0 s6 b. O7 M. q4 \1 g/ \
2016 Herb Alexander Prize for an outstanding dissertation in pure mathematics (UC Berkeley)
3 ]+ t( Z, _; W# i# x7 ?2011 NSF Graduate Research Fellow9 }, r' |. e# ^1 s5 B, a6 `% d1 ~
2009 Putnam Fellow* Z- Z! U( J& A" o) I) S( N/ G
2008, 2010 honorable mention in Putnam contest
- H- ^0 e: A: }9 X$ e2 p2011 Dean’s Medalist in the Natural Sciences (University of Washington)1 y+ ~2 I4 n/ g% D
; k; \* q3 G1 S3 t+ T开设课程 Courses
3 L6 {& F5 Y: c. R( B" ^2 m, v( A4 A' {, ?# D# S4 G* @2 W
Introduction to Model Theory, Fall semesters 2020-2024, Fudan University# `" y0 i0 O+ _# |: ]0 b
Advanced Model Theory, Spring semesters 2021-2024, Fudan University |
|