Journal: Annals of Pure and Applied Logic

Volume 172, Issue 9

102985 -- 0Noam Greenberg, Matthew Harrison-Trainor, Alexander G. Melnikov, Dan Turetsky. Non-density in punctual computability
102992 -- 0Itay Kaplan, Nicholas Ramsey, Saharon Shelah. Criteria for exact saturation and singular compactness
102993 -- 0Longchun Wang, Qingguo Li, Xiangnan Zhou. Continuous L-domains in logical form
102994 -- 0Carmi Merimovich. Mathias like criterion for the extender based Prikry forcing
103001 -- 0Gunnar Wilken. 2-elementarity beyond the core
103010 -- 0Grzegorz Jagiella. Topological dynamics and NIP fields
103011 -- 0Yaroslav Shramko. Hilbert-style axiomatization of first-degree entailment and a family of its extensions
103012 -- 0Antonio di Nola, Anatolij Dvurecenskij, Serafina Lapenta. An approach to stochastic processes via non-classical logic
103013 -- 0Arthur W. Apter, Stamatis Dimopoulos, Toshimichi Usuba. Strongly compact cardinals and the continuum function

Volume 172, Issue 8

102973 -- 0Sylvy Anscombe, Philip Dittmann, Arno Fehm. Denseness results in the theory of algebraic fields
102975 -- 0Bruno Dinis, Mário J. Edmundo, Marcello Mamino. Fundamental group in o-minimal structures with definable Skolem functions
102976 -- 0Pratulananda Das, Rafal Filipów, Szymon Glab, Jacek Tryba. On the structure of Borel ideals in-between the ideals ED and Fin ⊗ Fin in the Katětov order
102984 -- 0Jamal K. Kawach. Parametrized Ramsey theory of infinite block sequences of vectors
102986 -- 0Saharon Shelah, Juris Steprans. 1
102987 -- 0Iskander Sh. Kalimullin, Alexander G. Melnikov, Antonio Montalbán. Punctual definability on structures
102988 -- 0William Chan 0002, Stephen Jackson. Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations
102989 -- 0Christina Brech, Claribet Piña. Banach-Stone-like results for combinatorial Banach spaces
102990 -- 0Luca Reggio. Beth definability and the Stone-Weierstrass Theorem

Volume 172, Issue 7

102960 -- 0Brent Cody, Victoria Gitman, Chris Lambie-Hanson. κ)-like principle to hold at a weakly compact cardinal
102962 -- 0Dmitry Shkatov, Clint J. van Alten. Computational complexity for bounded distributive lattices with negation
102963 -- 0William Chen-Mertens, Itay Neeman. On the relationship between mutual and tight stationarity
102970 -- 0Paul Wang. Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids
102971 -- 0Rami P. Grossberg, Marcos Mazari-Armida. Simple-like independence relations in abstract elementary classes
102972 -- 0Raheleh Jalali. Proof complexity of substructural logics
102974 -- 0Sárka Stejskalová. ω

Volume 172, Issue 6

102941 -- 0Mateusz Lelyk, Bartosz Wcislo. Local collection and end-extensions of models of compositional truth
102944 -- 0Nam Trang, Trevor M. Wilson. 1
102945 -- 0Daniele Mundici. The differential of probabilistic entailment
102946 -- 0Pedro Andrés Estevan, Itay Kaplan. Non-forking and preservation of NIP and dp-rank
102947 -- 0Will Johnson. Dp-finite fields I(A): The infinitesimals
102949 -- 0Will Johnson. Dp-finite fields I(B): Positive characteristic
102958 -- 0Saharon Shelah, Andrés Villaveces. The Hart-Shelah example, in stronger logics
102959 -- 0Karel Hrbacek, Mikhail G. Katz. Infinitesimal analysis without the Axiom of Choice
102961 -- 0Joshua Brot, Mengyang Cao, David J. Fernández-Bretón. Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

Volume 172, Issue 5

102902 -- 0Franklin D. Tall. Introduction
102904 -- 0Ari Meir Brodsky, Assaf Rinot. A microscopic approach to Souslin-tree construction, Part II
102905 -- 0David Chodounský, Osvaldo Guzmán González. Indestructibility of ideals and MAD families
102906 -- 0Alan Dow. An Efimov space with character less than s
102907 -- 0Christopher J. Eagle, Clovis Hamel, Franklin D. Tall. Two applications of topology to model theory
102908 -- 0Ilijas Farah, Menachem Magidor. Corson reflections
102909 -- 0Vera Fischer, David Schrittesser, Thilo Weinert. Definable MAD families and forcing axioms
102910 -- 0Michael Hrusák, Alexander Y. Shibakov. Convergent sequences in topological groups
102911 -- 0Ashutosh Kumar, Dilip Raghavan. Separating families and order dimension of Turing degrees
102912 -- 0Justin Tatch Moore. Some remarks on the Open Coloring Axiom
102913 -- 0Inessa Moroz, Asger Törnquist. The Borel complexity of von Neumann equivalence

Volume 172, Issue 4

102918 -- 0Fabiana Castiblanco, Philipp Schlicht. Preserving levels of projective determinacy by tree forcings
102926 -- 0Tom Benhamou, Moti Gitik. Sets in Prikry and Magidor generic extensions
102927 -- 0Junguk Lee, Wan Lee. On the structure of certain valued fields
102928 -- 0Szymon Dolecki, Andrzej Starosolski. Continuous extension of maps between sequential cascades
102929 -- 0Vladimir Kanovei, Vassily A. Lyubetsky. The full basis theorem does not imply analytic wellordering
102930 -- 0Moritz Müller. Typical forcings, NP search problems and an extension of a theorem of Riis
102938 -- 0Masanao Ozawa. Quantum set theory: Transfer Principle and De Morgan's Laws
102939 -- 0Juan P. Aguilera 0001, Sandra Müller, Philipp Schlicht. σ-projective sets
102940 -- 0Bruno Dinis, Paulo Oliva. A parametrised functional interpretation of Heyting arithmetic
102943 -- 0Silvain Rideau-Kikuchi. A short note on groups in separably closed valued fields

Volume 172, Issue 3

102891 -- 0Lynn Scow. Ramsey transfer to semi-retractions
102900 -- 0Piotr Szewczak, Magdalena Wludecka. Unbounded towers and products
102901 -- 0Arthur W. Apter, Shoshana Friedman, Gunter Fuchs. More on HOD-supercompactness
102903 -- 0Ulrich Berger 0001, Hideki Tsuiki. Intuitionistic fixed point logic
102914 -- 0Vasco Brattka, Guido Gherardi. Completion of choice
102915 -- 0Denis Osin. A topological zero-one law and elementary equivalence of finitely generated groups
102916 -- 0Guillermo Badia, Carles Noguera. Lindström theorems in graded model theory
102917 -- 0Marcos Mazari-Armida. Superstability, noetherian rings and pure-semisimple rings

Volume 172, Issue 2

102869 -- 0Osvaldo Guzmán González, Michael Hrusák, Jindrich Zapletal. Preservation theorems for Namba forcing
102870 -- 0Jürgen Landes, Soroush Rafiee Rad, Jon Williamson. Towards the entropy-limit conjecture
102874 -- 0Pierre Matet. κ
102885 -- 0Joaquín Borrego-Díaz. Algebraic combinatorics in bounded induction
102886 -- 0Kota Takeuchi, Akito Tsuboi. On the number of independent orders
102887 -- 0Shimon Garti, Jing Zhang. Stationary and closed rainbow subsets
102888 -- 0Tapani Hyttinen, Gianluca Paolini. First-order model theory of free projective planes
102889 -- 0Peter Holy, Philipp Lücke. Small models, large cardinals, and induced ideals
102890 -- 0Anton Freund, Michael Rathjen. Derivatives of normal functions in reverse mathematics
102892 -- 0Pavel Pudlák. The canonical pairs of bounded depth Frege systems
102893 -- 0Ivan Georgiev, Lars Kristiansen, Frank Stephan 0001. Computable irrational numbers with representations of surprising complexity

Volume 172, Issue 10

103009 -- 0J. P. Aguilera. A characterization of Σ11-reflecting ordinals
103014 -- 0Rosalie Iemhoff, Robert Paßmann. Logics of intuitionistic Kripke-Platek set theory
103015 -- 0Paolo Lipparini. Linearly ordered sets with only one operator have the amalgamation property
103016 -- 0Adam Krawczyk, Wieslaw Kubis. Games with finitely generated structures
103017 -- 0Juan Carlos Martínez, Lajos Soukup. A consistency result on long cardinal sequences
103026 -- 0José Espírito Santo, Ralph Matthes, Luís Pinto 0001. A coinductive approach to proof search through typed lambda-calculi
103028 -- 0Marta Fiori-Carones, Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik. Weaker cousins of Ramsey's theorem over a weak base theory

Volume 172, Issue 1

102853 -- 0Mohammad Golshani, Alejandro Poveda. The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps
102855 -- 0Matthew Harrison-Trainor, Meng-Che Turbo Ho. Finitely generated groups are universal among finitely generated structures
102856 -- 0Jörg Brendle, Miguel A. Cardona, Diego A. Mejía. Filter-linkedness and its effect on preservation of cardinal characteristics
102857 -- 0Boris Sobot. |˜-divisibility of ultrafilters
102858 -- 0Elías Baro, Amador Martin-Pizarro. Open core and small groups in dense pairs of topological structures
102859 -- 0Fausto Barbero. Complexity of syntactical tree fragments of Independence-Friendly logic
102871 -- 0Vahagn Aslanyan. j-function
102872 -- 0Iván Ongay-Valverde, Paul Tveite. Computable analogs of cardinal characteristics: Prediction and rearrangement
102873 -- 0Paul Gartside, Ana Mamatelashvili. Tukey order, calibres and the rationals
102875 -- 0Soroush Rafiee Rad. Probabilistic characterisation of models of first-order theories