Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 175
Volume 175, Number Issue 1, Part A, January 2024
- Nikolay Bazhenov, Marta Fiori-Carones
, Lu Liu, Alexander G. Melnikov:
Primitive recursive reverse mathematics. 103354 - Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov:
Generalized fusible numbers and their ordinals. 103355 - Monroe Eskew:
Weak saturation properties and side conditions. 103356 - Tomasz Weiss, Piotr Zakrzewski:
On countably perfectly meager and countably perfectly null sets. 103357 - Ur Ya'ar:
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers. 103358 - Radek Honzik, Chris Lambie-Hanson, Sárka Stejskalová:
Indestructibility of some compactness principles over models of PFA. 103359 - Igor Gorbunov, Dmitry Shkatov:
Extensions of Solovay's system S without independent sets of axioms. 103360
Volume 175, Number Issue 1, Part B, January 2024
- Lawrence C. Paulson:
A formalised theorem in the partition calculus. 103246 - Alan Dow:
Laver forcing and converging sequences. 103247 - H. Jerome Keisler:
Using ultrapowers to compare continuous structures. 103284 - Akihiro Kanamori:
Kunen the expositor. 103319 - Teruyuki Yorioka:
Two chain conditions and their Todorčević's fragments of Martin's Axiom. 103320 - Saharon Shelah, Juris Steprans:
Some variations on the splitting number. 103321 - Jindrich Zapletal:
Subadditive families of hypergraphs. 103322 - Gabriel Goldberg:
Measurable cardinals and choiceless axioms. 103323 - Peter Nyikos, Lyubomyr Zdomskyy:
Locally compact, ω1-compact spaces. 103324 - Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg:
Mutually embeddable models of ZFC. 103325 - David Chodounský, Osvaldo Guzmán, Michael Hrusák:
HL ideals and Sacks indestructible ultrafilters. 103326 - Stevo Todorcevic:
Dense metrizability. 103327 - W. Hugh Woodin:
Large cardinals at the brink. 103328 - John R. Steel:
The comparison lemma. 103329 - Joan Bagaria:
The relative strengths of fragments of Martin's axiom. 103330 - Andrea Medini, Zoltán Vidnyánszky:
Zero-dimensional σ-homogeneous spaces. 103331 - David Buhagiar, Mirna Dzamonja:
On middle box products and paracompact cardinals. 103332 - Juan M. Santiago Suárez, Matteo Viale:
Boolean valued semantics for infinitary logics. 103333 - Haim Horowitz, Saharon Shelah:
A Borel maximal eventually different family. 103334 - Dilip Raghavan:
Editorial. 103343 - M. Malliaris, Saharon Shelah:
Some simple theories from a Boolean algebra point of view. 103345
Volume 175, Number 2, 2024
- Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot, Tommaso Moraschini:
Positive modal logic beyond distributivity. 103374 - Françoise Delon, Marie-Hélène Mourgues:
Classification of ℵ0-categorical C-minimal pure C-sets. 103375 - John T. Baldwin, Viktor Verbovskiy:
Towards a finer classification of strongly minimal sets. 103376 - Mohammad Shahryari:
On the geometric equivalence of algebras. 103386 - Athar Abdul-Quader, Mateusz Lelyk:
Pathologies in satisfaction classes. 103387 - Sam van Gool, Jérémie Marquès:
On duality and model theory for polyadic spaces. 103388
Volume 175, Number 3, 2024
- Samuele Maschio, Davide Trotta:
On categorical structures arising from implicative algebras: From topology to assemblies. 103390 - Paolo Aglianò, Sara Ugolini:
Structural and universal completeness in algebra and logic. 103391 - Richard Matthews, Michael Rathjen:
Constructing the constructible universe constructively. 103392 - JinHoo Ahn, Joonhee Kim:
SOP1, SOP2, and antichain tree property. 103402
Volume 175, Number 4, 2024
- Liling Ko:
Towards characterizing the >ω2-fickle recursively enumerable Turing degrees. 103403 - Milos S. Kurilic:
Sharp Vaught's conjecture for some classes of partial orders. 103411
Volume 175, Number 5, 2024
- Aristotelis Panagiotopoulos, Assaf Shani:
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension. 103412 - Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg:
The formal verification of the ctm approach to forcing. 103413 - José Siqueira:
Nonstandard proof methods in toposes. 103424
Volume 175, Number 6, 2024
- Samson Abramsky, Luca Reggio:
Arboreal categories and equi-resource homomorphism preservation theorems. 103423 - Vladimir Kanovei, Vassily A. Lyubetsky:
A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings. 103426 - Santiago Jockwich Martinez, Sourav Tarafder, Giorgio Venturi:
ZF and its interpretations. 103427 - Dong Quan Ngoc Nguyen:
Higher reciprocity law and an analogue of the Grunwald-Wang theorem for the ring of polynomials over an ultra-finite field. 103438
Volume 175, Number 7, 2024
- Kentaro Sato:
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI. 103422 - Gerhard Jäger, Michael Rathjen:
Admissible extensions of subtheories of second order arithmetic. 103425 - Dominik Adolf, Omer Ben-Neria:
Approachable free subsets and fine structure derived scales. 103428 - Dana Bartosová, Mirna Dzamonja, Rehana Patel, Lynn Scow:
Big Ramsey degrees in ultraproducts of finite structures. 103439 - Fernando Hernández-Hernández, Carlos López-Callejas:
Generalized independence. 103440 - Gianluca Paolini:
Computable Scott sentences and the weak Whitehead problem for finitely presented groups. 103441 - Alexander Berenstein, Christian d'Elbée, Evgueni Vassiliev:
Vector spaces with a dense-codense generic submodule. 103442 - Wesley Fussner, Nikolaos Galatos:
Semiconic idempotent logic I: Structure and local deduction theorems. 103443 - Seyed Mohammad Bagheri:
Extreme types and extremal models. 103451 - Hossein Lamei Ramandi, Stevo Todorcevic:
Can you take Komjath's inaccessible away? 103452 - Miguel A. Cardona, Lukas Daniel Klausner, Diego Alejandro Mejía:
Continuum many different things: Localisation, anti-localisation and Yorioka ideals. 103453 - Matteo De Berardinis, Silvio Ghilardi:
Profiniteness, monadicity and universal models in modal logic. 103454
a service of 
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.
last updated on 2024-07-02 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
