Stejskalová, Šárka
- Guessing models, trees, and cardinal arithmetic
2023/03/02 by Chris Lambie‐Hanson, Šárka Stejskalová, Lambie-Hanson, Chris +1 · 1 citation
Computer Science · Mathematics · #03E35 #03E55 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge