« first day (975 days earlier)
← previous day
next day →
last day (1842 days later) »
Alessandro Codenotti
3:51 PM
Any good references to learn about Skolem functions? How's the exposition in Chang-Keisler?
Same question but concerning reflection arguments in set theory
« first day (975 days earlier)
← previous day
next day →
last day (1842 days later) »
all rooms
Transcript for
Apr
17
Apr '19
19
Apr
20
♦
Logic
This room is meant for discussion about logic, including found...
1
formal-systems
foundations
logic
no-trolls
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