User contributions for 81.110.184.237

9 January 2023

• 01:2601:26, 9 January 2023 diff hist +3,299 N Weakly o-minimal structure No edit summary current

5 January 2023

• 20:1020:10, 5 January 2023 diff hist +2,266 N Łoś–Vaught test No edit summary current

4 January 2023

• 00:0900:09, 4 January 2023 diff hist +2,613 N Extension by new constant and function names No edit summary current

3 January 2023

• 23:4723:47, 3 January 2023 diff hist +8,216 N Extension by definitions No edit summary current
• 15:5215:52, 3 January 2023 diff hist +3,414 N Formally real field No edit summary current

29 December 2022

• 17:5917:59, 29 December 2022 diff hist +1,393 N Tarski–Kuratowski algorithm No edit summary current