|
naerypme 发表于 2025-7-8 16:274 A! i. I7 N" C
错了,这次复旦哲学系有一个老师作报告,哈哈 ! H) F6 u* r* ]7 m |+ u1 c0 M
1 s4 ]' i1 m+ J; U6 E这老兄伯克利数学博士,本科华盛顿大学数学与计算机系,博士后在复旦数学系,博士后做好后在复旦哲学系工作,现在副教授了8 G5 ~2 N4 N0 s
1 a+ l( X3 C: w! F% E
William Johnson
- |. |) ?1 m! C6 v7 s$ s0 u9 H8 y9 y, M% e7 x- x+ _ ?7 L
个人简介 Personal profile
0 w0 T. t- D% u9 V& X/ k
5 J; K2 e* f0 M) G: nSchool of Philosophy, Fudan University, 220 Handan Road, Shanghai, China 200433.
8 V, {4 Z6 N5 D6 P& J1 {Email:willjohnson@fudan.edu.cn* G1 Y) ^2 M" P" s
/ R' |$ ?+ ^% y8 w. m( w教育和工作经历 Education and Work Experience
8 w) Q: H5 P T, U6 Z7 T0 D7 x* m. k
教育经历 Education- @. K4 C' Y% W. w: k4 `
$ Q1 N+ {$ i/ k8 ePh.D. Mathematics, University of California Berkeley, Aug 2011–Jun 2016. Dissertation: Fun with Fields. Advised by Tom Scanlon.
% ~+ J- V Q# I- VB.S. Mathematics and Computer Science, University of Washington, Sep 2007–Jun 2011. Thesis: Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game./ y# n. w y* f( `
- n/ N/ u1 h3 n# V U, q8 \
工作经历 Work Experience0 m ^4 X( j% m% W2 ~1 c
: W9 B6 K, c$ b& m NAssociate Professor. Fudan University School of Philosophy, Dec. 2022–present. ! ?4 B% k/ @, [
Young associate researcher. Fudan University School of Philosophy, Sep. 2020–Dec. 2022. # h6 W2 t1 J$ ]' i7 q* v
Postdoc. Fudan University School of Mathematical Sciences, Oct 2018–Aug. 2020.
% }* g/ z; X4 t% x9 }7 N# a* b" ySoftware Engineer. Niantic, Inc., Jan 2016–Jul 2018.
1 Y( J, `0 U2 n% ?7 O7 g' j. ~
6 S v$ L! @" e: h+ v研究方向 Research Interests+ P# l* Y$ H4 \" Z6 ^# x- s' D5 m T
$ T2 g R1 ?" ~0 R
Model theory of fields and valued fields$ ?5 t% `+ F3 }9 L% W- A$ q ?
Neostability: strongly dependent theories, NTP2 theories, dp-rank, o-minimality
) l; J0 h' ?8 a" S8 | vPseudofinite fields and ACFA
; Z, o, K y9 V8 Y2 _. ~( |" Y( IDefinable groups and tame topology* V8 Y$ B+ a% r, |% T' ^8 m6 B
Applications of cohomology and category theory to model theory
' q0 w7 [* J3 B
" w* K8 R6 @" U/ N2 k* ?主要学术成果 Academic Achievements8 @+ ~" m, h, f a7 d# v3 d
- ^6 G( M, f+ s代表性论文 Academic Papers
$ f7 n. Q& p4 l1 b
9 r, @; a4 ~1 i. X4 d1. Johnson, W. and Ye, J. (2024). Curve-excluding fields. Journal of the European Mathematical Society (accepted).9 I- T. j6 M; K6 b6 |8 Z6 }. h6 X
2. 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.' @% G) t% {- S* w
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).
! `" N6 |) r9 k& A4. 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.9 s8 N$ Y6 h8 I6 y
5. Johnson, W. (2023). Topologizing interpretable groups in p-adically closed fields. Notre Dame Journal of Formal Logic 64(4): 571-609.
" E9 ~9 C& c8 \% J9 R8 }6. Johnson, W. and Yao, N. (2023). Abelian groups definable in p-adically closed fields. Journal of Symbolic Logic (online first).6 Q9 I% k4 G: P
7. Johnson, W. and Ye, J. (2023). A note on geometric theories of fields. Model Theory 2(1): 121-132.
* n2 a- H* J1 L6 u! v9 T' K* L9 L8. Johnson, W. (2023). Type-definable NIP fields are Artin-Schreier closed. Fundamenta Mathematicae 260:251-261.
. R( {. n% k! h$ O' m" o" Q8 g9. Johnson, W. (2023). A note on fsg groups in p-adically closed fields. Mathematical Logic Quarterly 69(1):50-57.
9 z$ ]5 m0 T/ s* o, m0 g* M10. 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.% R' q% |0 l6 Q& W z( a
11. Johnson, W. (2023). The classification of dp-minimal and dp-small fields. Journal of the European Mathematical Society 25(2): 467-513.6 S% n. Z D2 @: y* E% ~9 G
12. Johnson, W. (2022). Henselianity in NIP Fp-algebras. Model Theory 1(1): 115-128./ z H/ D2 A( x" C
13. Johnson, W. and Yao, N. (2022). On non-compact p-adic definable groups. Journal of Symbolic Logic 87(1):188-213.
* I. u$ N4 i/ r3 e14. Johnson, W. (2022). A criterion for uniform finiteness in the imaginary sorts. Archive for Mathematical Logic 61: 583-589.
, W& [: @. o3 k" @0 B# D15. Johnson, W. (2022). Forking and dividing in fields with several orderings and valuations. Journal of Mathematical Logic 22(1): 2150025.2 w( l* |& [( L6 G5 B
16. Johnson, W. (2022). Counting mod n in pseudofinite fields. Israel Journal of Mathematics 247: 697-739.
; p" G& @- n( O4 J17. Johnson, W. (2021). Dp-finite fields I(B): positive characteristic. Annals of Pure and Applied Logic 172(6):102949.
& C5 O) s/ S. t( J9 o18. Johnson, W. (2021). Dp-finite fields I(A): the infinitesimals. Annals of Pure and Applied Logic 172(6):102947.
& b8 \3 ?% q9 S3 Z$ a( n' G, f19. 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.
7 a: B- f: I% [# m1 R' n20. Johnson, W. (2018). The canonical topology on dp-minimal fields. J. Math. Logic 18(2): 1850007.
! P3 \/ T' Y9 Y4 l- g* G21. Johnson, W. (2018). Interpretable sets in dense o-minimal structures. J. Symbolic Logic 83(4): 1477-1500.9 l5 s2 u5 w6 L8 I; x
22. Appendix to Freitag, J., Li, W., Scanlon, T. and Johnson, W. (2017). Differential Chow varieties exist. J. London Math. Soc. 95: 128-156.+ ]' P- ~ f, c$ K
23. Johnson, W. (2014). The combinatorial game theory of well-tempered scoring games. International Journal of Game Theory 43: 415-438.. T/ i' p/ D( Q6 F! P) j1 q
, C8 p4 R: }: V! U9 Z" t% u- t& I
参加的会议 Conference Talks
4 _% ]" a7 |3 k0 F/ {8 w
3 `/ j8 r5 l2 j ^7 m; z4 |1. A classification of dp-minimal integral domains. 2024 Beijing Model Theory Conference, China.+ z. }% Z( B* E- |
2. C-minimal fields are geometric. 2023 Asian Logic Conference, Tianjin, China.# ?, [. Y5 o5 m% q% ]$ F
3. Generic differentiability and the P-minimal group conjectures of Onshuus and Pillay. 2023 Beijing Logic Meeting, China.' R; B: g& S0 m) F/ s
4. Around NIP Noetherian domains. 2023 conference Model theory of valued fields at CIRM, Marseille, France.* o2 b5 ]9 d7 d) a. q
5. Dolich and Goodrick's visceral theories. 2021 Delta15 Logic Workshop, Nanjing, China.3 y+ X* P7 O, ]/ H# d/ p7 Y
6. On non-compact p-adic definable groups. 2021 Workshop on Trends in Pure and Applied Model Theory, Fields institute, Toronto, Canada.- ]5 l2 d s! x) i* F! c
7. V-topologies and beyond. 2020 Chinese Mathematical Society Annual Conference, Shijiazhuang, China.
; ~5 M* A) L5 e0 p8. An update on dp-finite fields. 2019 Chinese Annual Conference on Mathematical Logic, Chongqing, China.( u$ S1 ]8 s8 O& _- j0 _
9. From modular lattices to valuation rings. 2019 conference Model Theory of Valued fields and Applications, University of Münster, Germany./ e" p* h# M+ }
10. Multi-valued algebraically closed fields are NTP2. 2018 workshop Model Theory of Valued Fields, IHP, Paris, France.) V. T K% L/ n; U: Z9 }
11. When does Teq eliminate ∃∞? 2016 North American meeting of the Association for Symbolic Logic, Storrs, US./ d4 T( V7 |% W6 H
12. On dp-minimal fields. 2015 Neostability Theory meeting in Oaxaca, Mexico.2 l6 n0 X! J) z9 `/ v4 z3 F, s
13. Interpretable sets in o-minimal structures. 2015 North American meeting of the ASL, Urbana-Champaign, US.3 l0 l3 D9 F1 _' f/ U3 W
1 Q5 N {- m" j+ Q' t" E
预印本 Preprints
5 j+ M1 ~& M8 K( P4 L9 s6 u x& |4 l1 p, B4 X- o' Y% [" w
1. with Yatir Halevi and Christian d'Elbée. The classification of dp-minimal integral domains (2024). arXiv:2405.21014.; l0 s' D1 x6 R+ ~! b4 T
2. Generic differentiability and P-minimal groups (2024). arXiv:2404.17234.6 t v( i- v8 E2 U
3. Visceral theories without assumptions (2024). arXiv:2404.11453., s+ ^9 }/ j+ f4 Z
4.C-minimal fields have the exchange property (2024). arXiv:2403.17478.
- J% i8 C( @1 h. H- Y0 J5. Dp-finite and Noetherian NIP integral domains (2023). arXiv:2302.03315.
. R Q7 @/ K. [( u6. Dp-finite fields VI: the dp-finite Shelah conjecture (2020). arXiv:2005.13989.
/ E5 Q: Z" J6 h0 D W' s/ B7. Dp-finite fields V: topological fields of finite weight (2020). arXiv:2004.14732.% N# _7 z l0 E5 S$ p8 k
8. Dp-finite fields IV: the rank 2 picture (2020). arXiv:2003.09130.8 w5 q9 e+ |, t: M' f+ f: d
9. Dp-finite fields III: inflators and directories (2019). arXiv:1911.04727.' L4 I5 m) [9 k: g. t
10. Dp-finite fields II: the canonical topology and its relation to henselianity (2019). arXiv:1910.05932.1 a% @( ~1 w, n3 {& ]. s" B, b- w e
11. Finite burden in multivalued algebraically closed fields (2019). arXiv:1905.04991.
: }4 D% t1 [" g( n& N. C, ?0 _4 Z12. Circular planar resistor networks with nonlinear and signed conductors (2012). arXiv:1203.4045.) v. F0 t7 k1 k q4 ]. X
13. The knotting-unknotting game played on sums of rational shadows (2011). arXiv:1107.2635..2 ]# g- d% U$ ~ g, D
0 w, j \- l4 c% r9 y
其他 Miscellaneous
) }$ ]7 G8 S: j! o5 w
) k) }! j) w3 h, h# k! l, ^1 {8 V1.Fun with Fields (2016). PhD dissertation, UC Berkeley.
! s9 ]5 V6 I3 X; k+ K2.Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game (2011). Undergraduate Senior Thesis, University of Washington.( _3 `! B0 M4 j9 v+ K# t
% X- ], R0 D# `7 B
荣誉及获奖 Grants and Awards
9 y) Q3 N2 E" L5 o' W7 T) J- Q" G, J- e& @( ~/ h! R; O9 [
2022 National Natural Science Foundation of China Young Science Fund Project) F2 A6 H1 m# c' d9 F
2018 NSF Mathematical Sciences Postdoctoral Research Fellowship
3 u. _( M: }% n9 Q; o2016 Sacks Prize for outstanding dissertation in mathematical logic (Association for Symbolic Logic)' S. v* y- f0 r- o/ G$ H
2016 Herb Alexander Prize for an outstanding dissertation in pure mathematics (UC Berkeley)
+ C' J: I& u* A" x( s3 g6 Q+ A2011 NSF Graduate Research Fellow
* i% X' M. \/ E2 d; p0 B5 J9 U: R: G2009 Putnam Fellow
4 [2 K7 C" b& h- E0 }. {2008, 2010 honorable mention in Putnam contest: L/ L8 v" j1 J
2011 Dean’s Medalist in the Natural Sciences (University of Washington)
, s# T5 l& G; `% C3 q" c
4 L$ W( l. F1 B8 c* q9 A. { \ g开设课程 Courses
) U2 t, I, |% W6 }( R' U0 Q* ~& H2 K9 s$ A _9 P( n
Introduction to Model Theory, Fall semesters 2020-2024, Fudan University0 L5 V1 u" ~+ q* w# z$ i
Advanced Model Theory, Spring semesters 2021-2024, Fudan University |
|