Thilo Weinert

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 4

Top Topics

Computer Algebra Systems

Mathematical Knowledge

Derived Predicates

Top Venues

Bull. Symb. Log.

Ann. Pure Appl. Log.

Electron. Notes Discret. Math.

Publications

Thilo Weinert
William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, American Mathematical Society, 2020, pp. 21-75. Bull. Symb. Log. 27 (1) (2021)
Vera Fischer, David Schrittesser, Thilo Weinert
Definable MAD families and forcing axioms. Ann. Pure Appl. Log. 172 (5) (2021)
Ferdinand Ihringer, Deepak Rajendraprasad, Thilo Weinert
New bounds on the Ramsey number r(Im, Ln). Discret. Math. 344 (3) (2021)
Philipp Lücke, Philipp Schlicht, Thilo Weinert
Choiceless Ramsey Theory of Linear Orders. Order 34 (3) (2017)
Thilo Weinert
Transfinite Ramsey Numbers. Electron. Notes Discret. Math. 43 (2013)
Thilo Weinert
The Bounded Axiom A Forcing Axiom. Math. Log. Q. 56 (6) (2010)