« first day (2619 days earlier)
← previous day
next day →
last day (1281 days later) »
YCor
2:22 PM
I think all occurrences of
models-of-pa
can be changed manually to
theories-of-arithmetic
(I started doing so).
« first day (2619 days earlier)
← previous day
next day →
last day (1281 days later) »
all rooms
Transcript for
Oct
22
Oct '20
23
Oct
24
MO editors' lounge
Talk related to editing, tagging and related matters for the s...
1
editing
tagging
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2024 Stack Exchange Inc;
legal
mobile