|
|
发表于 2025-7-8 18:26:15
来自手机
|
显示全部楼层
naerypme 发表于 2025-7-8 16:27! a2 I- j( o9 |! l5 ]6 h
错了,这次复旦哲学系有一个老师作报告,哈哈 9 @) {4 ]6 ?2 {3 F3 ?# ]
% v2 P) L' b, l( ~
这老兄伯克利数学博士,本科华盛顿大学数学与计算机系,博士后在复旦数学系,博士后做好后在复旦哲学系工作,现在副教授了
- W0 A' O) a! _
5 b% h. x6 h9 U6 @William Johnson" b1 h% s2 E8 c1 U e Q' Q7 g8 j* b
8 B0 j/ i! ]2 u @" D个人简介 Personal profile3 X' K9 z8 e5 \2 O( D3 `
4 d+ }! [& m% c% Y' _$ g) O( t
School of Philosophy, Fudan University, 220 Handan Road, Shanghai, China 200433.) M/ s$ E) d$ D. {" k! g- y0 D
Email:willjohnson@fudan.edu.cn
0 L! ]* F: ]# V, u9 V# p
- u8 @& {+ v5 \8 G; j教育和工作经历 Education and Work Experience
+ o! R, R& W9 u
+ S# z. b. X+ g$ @) [$ R教育经历 Education6 F, l0 Y) b; s( a7 J8 _0 F
. `: W6 M* E1 e! }! W2 g/ g+ e& V
Ph.D. Mathematics, University of California Berkeley, Aug 2011–Jun 2016. Dissertation: Fun with Fields. Advised by Tom Scanlon.! W" f' s; L2 K7 m3 v
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.
9 j* n8 K) R0 W0 ?8 j, x
g3 i6 }: I7 g2 v& O+ q" {2 q工作经历 Work Experience. ^, ~7 D3 G7 p# Z
. p) {) T/ ~) j7 @" qAssociate Professor. Fudan University School of Philosophy, Dec. 2022–present.
6 X! W7 A7 e( LYoung associate researcher. Fudan University School of Philosophy, Sep. 2020–Dec. 2022. ; J2 {6 r7 B2 D' a
Postdoc. Fudan University School of Mathematical Sciences, Oct 2018–Aug. 2020.! F4 L8 ^9 s% ?% B8 w
Software Engineer. Niantic, Inc., Jan 2016–Jul 2018.2 U9 c4 x0 O/ N: d ~ W- P5 u- H w
$ m6 x9 P& y4 `* n; k0 c
研究方向 Research Interests
) z/ Q1 R7 M) s2 L0 T' ^. I6 K; f/ W2 i" J" K: b& y
Model theory of fields and valued fields
1 [8 }4 N& c4 @1 p; V$ d# N7 HNeostability: strongly dependent theories, NTP2 theories, dp-rank, o-minimality
/ V5 M t2 X/ BPseudofinite fields and ACFA
9 f, ^/ A p1 DDefinable groups and tame topology
4 k0 ^. N: T, W _( I4 k2 L0 DApplications of cohomology and category theory to model theory4 K1 \" g$ V6 S& \
, x0 [6 w) p5 ], f' Q4 I& x主要学术成果 Academic Achievements
+ ?2 w7 a! v# ~, O d% I. F6 e, \* Q% w, T. G! x0 r& F
代表性论文 Academic Papers
5 W% ]# P1 j! e6 l: f9 j
: t; o! G9 I& e# a# c0 q+ L1. Johnson, W. and Ye, J. (2024). Curve-excluding fields. Journal of the European Mathematical Society (accepted).0 ]' G- f( d" A2 Y) N5 y
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.
0 S+ G% ?8 N, {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).# W7 }+ c2 `/ f4 C
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.# E/ a) @+ X* g( S' Q! q! U- B
5. Johnson, W. (2023). Topologizing interpretable groups in p-adically closed fields. Notre Dame Journal of Formal Logic 64(4): 571-609.& A' k7 @/ [; A: n
6. Johnson, W. and Yao, N. (2023). Abelian groups definable in p-adically closed fields. Journal of Symbolic Logic (online first).
% O, a& [: Z: E, T! `7. Johnson, W. and Ye, J. (2023). A note on geometric theories of fields. Model Theory 2(1): 121-132. P; |4 a- ^& u) a
8. Johnson, W. (2023). Type-definable NIP fields are Artin-Schreier closed. Fundamenta Mathematicae 260:251-261.! O+ M x0 f% V4 d9 t
9. Johnson, W. (2023). A note on fsg groups in p-adically closed fields. Mathematical Logic Quarterly 69(1):50-57.
t' e7 g0 u8 K/ {; H10. 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.
( i1 ]) n9 H4 @/ }11. Johnson, W. (2023). The classification of dp-minimal and dp-small fields. Journal of the European Mathematical Society 25(2): 467-513.: {4 c) B( f3 s1 |3 f
12. Johnson, W. (2022). Henselianity in NIP Fp-algebras. Model Theory 1(1): 115-128.6 r6 ?. B* [9 z/ U0 i# [
13. Johnson, W. and Yao, N. (2022). On non-compact p-adic definable groups. Journal of Symbolic Logic 87(1):188-213.6 S1 j: o0 v, N- ?4 k; w; ]' B
14. Johnson, W. (2022). A criterion for uniform finiteness in the imaginary sorts. Archive for Mathematical Logic 61: 583-589.
: s* n. [8 g8 {- B6 n7 a! u+ ^15. Johnson, W. (2022). Forking and dividing in fields with several orderings and valuations. Journal of Mathematical Logic 22(1): 2150025.1 p+ Y. c& u8 Q- \/ U- Z7 `/ ^% i2 t- E
16. Johnson, W. (2022). Counting mod n in pseudofinite fields. Israel Journal of Mathematics 247: 697-739.
6 P# g" e2 Y4 ]17. Johnson, W. (2021). Dp-finite fields I(B): positive characteristic. Annals of Pure and Applied Logic 172(6):102949.
}- ?' L6 E! y18. Johnson, W. (2021). Dp-finite fields I(A): the infinitesimals. Annals of Pure and Applied Logic 172(6):102947.
7 Y) m) Q6 C# t: o* ^) l19. 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.1 c- }/ x% h' \$ c& F W* |
20. Johnson, W. (2018). The canonical topology on dp-minimal fields. J. Math. Logic 18(2): 1850007.! @* S1 X/ a, ~9 u4 u8 r0 l, L
21. Johnson, W. (2018). Interpretable sets in dense o-minimal structures. J. Symbolic Logic 83(4): 1477-1500.$ g, I0 x; N2 D. U1 |4 ]9 S' V$ P, [
22. Appendix to Freitag, J., Li, W., Scanlon, T. and Johnson, W. (2017). Differential Chow varieties exist. J. London Math. Soc. 95: 128-156.
; V1 I5 i6 }% @4 Z: r& l, Z23. Johnson, W. (2014). The combinatorial game theory of well-tempered scoring games. International Journal of Game Theory 43: 415-438." o/ A8 {3 T1 X+ O! B b
5 d7 z- R0 o# J
参加的会议 Conference Talks
) L% t" b5 _1 B* G5 x8 k3 P8 J
3 @+ p% M8 [$ I" c) S4 C1 B1. A classification of dp-minimal integral domains. 2024 Beijing Model Theory Conference, China.
5 Y9 R' m+ K' f0 f# g2. C-minimal fields are geometric. 2023 Asian Logic Conference, Tianjin, China.
4 C+ W2 j4 M# g$ `# M. J$ G3. Generic differentiability and the P-minimal group conjectures of Onshuus and Pillay. 2023 Beijing Logic Meeting, China.
' l! `) `4 T" _3 n7 x4. Around NIP Noetherian domains. 2023 conference Model theory of valued fields at CIRM, Marseille, France.
& t. ?5 g+ P$ e; e/ o2 m5 w+ a5. Dolich and Goodrick's visceral theories. 2021 Delta15 Logic Workshop, Nanjing, China.8 q& b& Y+ {; W# t
6. On non-compact p-adic definable groups. 2021 Workshop on Trends in Pure and Applied Model Theory, Fields institute, Toronto, Canada.
! C$ Y8 u" _3 F, d! e7. V-topologies and beyond. 2020 Chinese Mathematical Society Annual Conference, Shijiazhuang, China.) I: t' {! _# k6 Q% v# E
8. An update on dp-finite fields. 2019 Chinese Annual Conference on Mathematical Logic, Chongqing, China.% m4 N) ] H7 |/ {! Q+ u3 b
9. From modular lattices to valuation rings. 2019 conference Model Theory of Valued fields and Applications, University of Münster, Germany. [2 Z v' w7 e4 g# x
10. Multi-valued algebraically closed fields are NTP2. 2018 workshop Model Theory of Valued Fields, IHP, Paris, France.
0 K6 V. N6 e& G! X! g: w3 W/ D11. When does Teq eliminate ∃∞? 2016 North American meeting of the Association for Symbolic Logic, Storrs, US.' ~0 Q! t9 d. O1 w F
12. On dp-minimal fields. 2015 Neostability Theory meeting in Oaxaca, Mexico. {! B: e/ F5 N1 w* C8 H- q, b d
13. Interpretable sets in o-minimal structures. 2015 North American meeting of the ASL, Urbana-Champaign, US.
0 p9 o+ L3 r. v' y& b8 \) v9 b0 d4 ~; e. _. Z/ c2 H# E
预印本 Preprints6 }* x" y0 J" P3 q
. Y; }" i' ~( {7 o2 M3 F2 x" Z1. with Yatir Halevi and Christian d'Elbée. The classification of dp-minimal integral domains (2024). arXiv:2405.21014.8 M. j/ n j: E7 y2 F" s
2. Generic differentiability and P-minimal groups (2024). arXiv:2404.17234.8 x, M4 j+ S/ r! n) O$ |
3. Visceral theories without assumptions (2024). arXiv:2404.11453.) l: x3 `/ H8 {! }. I% m) w
4.C-minimal fields have the exchange property (2024). arXiv:2403.17478.
9 x1 z" C. E& N; L1 l; e5. Dp-finite and Noetherian NIP integral domains (2023). arXiv:2302.03315.7 q* V ~/ C$ G5 w9 P* ]. l
6. Dp-finite fields VI: the dp-finite Shelah conjecture (2020). arXiv:2005.13989.* c5 N7 Y6 m8 r' r, G J5 {
7. Dp-finite fields V: topological fields of finite weight (2020). arXiv:2004.14732.5 F* P( j; v1 V, Q9 H
8. Dp-finite fields IV: the rank 2 picture (2020). arXiv:2003.09130.0 N4 h8 C: @; s" h4 f
9. Dp-finite fields III: inflators and directories (2019). arXiv:1911.04727.3 s" m* P q7 D- U+ R9 D. ~
10. Dp-finite fields II: the canonical topology and its relation to henselianity (2019). arXiv:1910.05932.% m2 Y ]8 W) R- ?$ D( c& s
11. Finite burden in multivalued algebraically closed fields (2019). arXiv:1905.04991.
% y9 r; F- m' @& z$ g+ ^12. Circular planar resistor networks with nonlinear and signed conductors (2012). arXiv:1203.4045.( o( u1 j! }, a2 y' O( j4 c
13. The knotting-unknotting game played on sums of rational shadows (2011). arXiv:1107.2635..2 Z! a# k- S2 {2 i
0 B. |' V6 Z* b7 a f其他 Miscellaneous3 m2 G6 v2 @! @$ }; G
- u7 k1 H" Y, D1.Fun with Fields (2016). PhD dissertation, UC Berkeley.' |" r* W% l! r3 }$ _7 {
2.Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game (2011). Undergraduate Senior Thesis, University of Washington.
2 `( T" \/ @& l( Z0 ]: ^4 S5 g
0 H" S1 l9 v: X: X' ?荣誉及获奖 Grants and Awards
. y1 K2 W; H) d! N% |- y
* i: ^: H8 G+ |0 J4 }% J/ J2022 National Natural Science Foundation of China Young Science Fund Project
4 X/ s1 i0 D! Q5 d2018 NSF Mathematical Sciences Postdoctoral Research Fellowship8 K ?2 H: P0 \' h5 o6 {
2016 Sacks Prize for outstanding dissertation in mathematical logic (Association for Symbolic Logic)
/ _! I9 W3 Z! j/ [. n/ z7 W2016 Herb Alexander Prize for an outstanding dissertation in pure mathematics (UC Berkeley)/ O; H* T' b1 z1 j
2011 NSF Graduate Research Fellow
7 H& j: Z9 d$ |2009 Putnam Fellow
" A! h( k H0 Y: H2008, 2010 honorable mention in Putnam contest: H, j/ q9 ]/ T7 B! ]
2011 Dean’s Medalist in the Natural Sciences (University of Washington)
8 ~4 D+ ? d5 ~4 |( v
6 }2 n7 M5 X' p# Y& {# j开设课程 Courses' c/ S6 R# u! ~( E d
7 l+ I1 v* G9 WIntroduction to Model Theory, Fall semesters 2020-2024, Fudan University" x7 u+ G5 x5 v7 \% L1 _: B
Advanced Model Theory, Spring semesters 2021-2024, Fudan University |
|