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
Volume 175, Number 9, 2024
- Jeff B. Paris, Alena Vencovská:
Asymptotic conditional probabilities for binary probability functions. 103335 - Giuliano Rosella, Jan Sprenger:
Causal modeling semantics for counterfactuals with disjunctive antecedents. 103336 - Tommaso Flaminio, Sara Ugolini:
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras. 103337 - Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari:
Reasoning with belief functions over Belnap-Dunn logic. 103338 - Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé:
Probing the quantitative-qualitative divide in probabilistic reasoning. 103339 - Niki Pfeifer, Giuseppe Sanfilippo:
Probability propagation rules for Aristotelian syllogisms. 103340 - Melissa Antonelli, Ugo Dal Lago, Paolo Pistone:
Towards logical foundations for probabilistic computation. 103341 - Esther Anna Corsi, Tommaso Flaminio, Hykel Hosni:
A logico-geometric comparison of coherence for non-additive uncertainty measures. 103342 - Dragan Doder, Zoran Ognjanovic:
Probabilistic temporal logic with countably additive semantics. 103389 - Dominik Klein, Soroush Rafiee Rad, Francesca Zaffora Blando:
Editorial. 103444
Volume 175, Number 8, 2024
- David Fernández-Duque, Andreas Weiermann:
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal. 103455 - Paolo Liberatore:
The ghosts of forgotten things: A study on size after forgetting. 103456 - Brent Cody, Philip White:
Two-cardinal ideal operators and indescribability. 103463
Volume 175, Number 10, 2024
- Josiah Jacobsen-Grocott:
Strong minimal pairs in the enumeration degrees. 103464 - Brian Tyrrell:
Finite undecidability in PAC and PRC fields. 103465 - Stefan Hoffelner:
Forcing axioms and the uniformization-property. 103466 - Pablo Andújar Guerrero, Will Johnson:
Around definable types in p-adically closed fields. 103484 - Graham E. Leigh, Dominik Wehr:
From GTC to : Generating reset proof systems from cyclic proof systems. 103485 - Milos S. Kurilic, Stevo Todorcevic:
Posets of copies of countable ultrahomogeneous tournaments. 103486 - Eion Blanchard, Philipp Hieronymi:
Decidability bounds for Presburger arithmetic extended by sine. 103487 - Yudai Suzuki, Keita Yokoyama:
Searching problems above arithmetical transfinite recursion. 103488 - Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini:
Bi-intermediate logics of trees and co-trees. 103490 - Mohsen Khani, Ali N. Valizadeh, Afshin Zarei:
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence. 103493 - David J. Fernández-Bretón, Eliseo Sarmiento Rosales, Germán Vera:
Owings-like theorems for infinitely many colours or finite monochromatic sets. 103495
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 2025-02-20 19:45 CET 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:
