Wentao Yang

Wentao Yang

Researcher at Inner Mongolia University

Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

,

,

,

,

,

,

,

,

,

,

,

,

,

,

Posts

, Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

, Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

, Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

, Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

, Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

talks

, $\aleph_0$-stable AECs

Published:

We review a paper by Shelah and Vasey (2018), and obtain some properties of an AEC K assuming $\aleph_0$-stability. The main result is: under tameness, amalgamation and no maximal models in $\aleph_0$, there is a good $\aleph_0$-frame and a superlimit in $\aleph_1$.

, Shelah’s eventual categoricity conjecture in universal classes,

Published:

We present Sebastien Vasey’s proof of Shelah’s categoricity conjecture in universal classes. First we change the substructure relation of the given class to obtain an AEC with better properties, except that the union axiom might not hold. To prove that the union axiom holds, we use the independence framework AxFr developed by Shelah, build an “independent” tree assuming the failure of union, and contradict stability.

, Deligne’s completeness theorem

Published:

Deligne’s theorem states that any coherent topos has enough points. The theorem can be viewed as a completeness theorem when specialized to the classifying topos of a geometric theory. First we explain this connection to logic and then present a proof of Deligne’s theorem.

, An NIP-like notion for abstract elementary classes

Published:

We propose an analogue definition of No Independence Property (NIP) for abstract elementary classes (AECs) that coincides with NIP in first order model theory, where the class is elementary. As we have no formulas in this context we work with Galois types. We construct a forking-like relation on AECs with NIP. Our work can be viewed as a new chapter in the neo-stability of AECs, building on Armida-Mazari’s work.

, An NIP-like notion in abstract elementary classes

Published:

We propose an analogue definition of No Independence Property (NIP) for abstract elementary classes (AECs) that coincides with NIP when the class is elementary. We construct a forking-like relation on AECs with NIP, and show that its negation leads to being able to encode subsets.

teaching

, Teaching at CMU

Teaching Assistant Carnegie Mellon University, Department of Mathematical Sciences

Differential and Integral Calculus, Matrix Algebra with Applications, Integration and Approximation, Advanced Math Support Center

, Grading at CMU

Grading Carnegie Mellon University, Department of Mathematical Sciences

Algebraic Structures, Matrix Algebra, Set Theory