![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 176
Volume 176, Number 1, 2025
- Ramil Bagaviev, Ilnur I. Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G. Melnikov, Keng Meng Ng:
Computably and punctually universal spaces. 103491 - Kyle Gannon:
Concerning Keisler measures over ultraproducts. 103492 - Jorge I. Guier:
Elimination of quantifiers for a theory of real closed rings. 103494 - Fedor Part, Neil Thapen, Iddo Tzameret:
First-order reasoning and efficient semi-algebraic proofs. 103496 - Pierre Matet:
μ-clubs of P(λ): Paradise in heaven. 103497 - Juan Pablo Acosta:
Groups definable in Presburger arithmetic. 103507
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.