Found 12 Documents (Results 1–12)
Ideals with Smital properties. (English) Zbl 07691809
Towers, mad families, and unboundedness. (English) Zbl 07691808
Arch. Math. Logic 62, No. 5-6, 811-830 (2023); correction ibid. 62, No. 7-8, 1159-1160 (2023).
Reviewer: Michael Hrusak (Morelia)
The axiom of choice in metric measure spaces and maximal \(\delta\)-separated sets. (English) Zbl 07691805
Some implications of Ramsey choice for families of \(n\)-element sets. (English) Zbl 1528.03203
Reviewer: Eleftherios Tachtsis (Karlovassi)
Independent families and some notions of finiteness. (English) Zbl 1528.03204
Reviewer: Eleftherios Tachtsis (Karlovassi)
Glivenko sequent classes and constructive cut elimination in geometric logics. (English) Zbl 07691802
Bachmann-Howard derivatives. (English) Zbl 07691799
Filter Results by …
all
top 5
Author
- Fischer, Vera (2)
- Aguilera, Juan Pablo (1)
- Di Nola, Antonio (1)
- Dybowski, Michał (1)
- Fellin, Giulio (1)
- Freund, Anton (1)
- Górka, Przemysław (1)
- Grigolia, Revaz (1)
- Halbeisen, Lorenz J. (1)
- Hall, Eric Joseph (1)
- He, Jialiang (1)
- Jin, Renling (1)
- Keremedis, Kyriakos (1)
- Koelbing, Marlene (1)
- Michalski, Marcin (1)
- Negri, Sara (1)
- Ongay-Valverde, Iván (1)
- Orlandelli, Eugenio (1)
- Rałowski, Robert (1)
- Schumacher, Salome (1)
- Switzer, Corey Bacal (1)
- Vitale, Gaetano (1)
- Wohofsky, Wolfgang (1)
- Żeberski, Szymon (1)
- Zhang, Shuguo (1)
Software
- MathOverflow (1)