Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Positive indiscerniblesKamsma, MarkArchive for mathematical logic, 2024-05 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesisCimatti, Alessandro ; Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo ; Tonetta, StefanoSoftware and systems modeling, 2024-04, Vol.23 (2), p.427-453 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Convergence of measures after adding a realSobota, Damian ; Zdomskyy, LyubomyrArchive for mathematical logic, 2024, Vol.63 (1-2), p.135-162 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Pcf without choice Sh835Shelah, SaharonArchive for mathematical logic, 2024, Vol.63 (5-6), p.623-654 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Vector spaces with a union of independent subspacesBerarducci, Alessandro ; Mamino, Marcello ; Mennuni, RosarioArchive for mathematical logic, 2024, Vol.63 (3-4), p.499-507 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
The extent of saturation of induced idealsTsukuura, KentaArchive for mathematical logic, 2024, Vol.63 (5-6), p.723-739 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Ranks based on strong amalgamation Fraïssé classesGuingona, Vincent ; Parnes, MiriamArchive for mathematical logic, 2023-11, Vol.62 (7-8), p.889-929 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
On the non-existence of κ-mad familiesHorowitz, Haim ; Shelah, SaharonArchive for mathematical logic, 2023-11, Vol.62 (7-8), p.1033-1039 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
An AEC framework for fields with commuting automorphismsHyttinen, Tapani ; Kangas, KaisaArchive for mathematical logic, 2023-11, Vol.62 (7-8), p.1001-1032 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Mathias and silver forcing parametrized by densityLaguzzi, Giorgio ; Mildenberger, Heike ; Stuber-Rousselle, BrendanArchive for mathematical logic, 2023-11, Vol.62 (7-8), p.965-990 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |