The following pages link to Kanovei, Vladimir (Q161810):
Displaying 5 items.
- MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER (Q4638992) (← links)
- What internal set theory knows about standard sets (Q6500761) (← links)
- IST is more than an algorithm to prove ZFC theorems (Q6502048) (← links)
- On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property (Q6503598) (← links)
- On a dichotomy related to colourings of definable graphs in generic models (Q6503632) (← links)
