![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 172
Volume 172, Number 1, January 2021
- Mohammad Golshani, Alejandro Poveda:
The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps. 102853 - Matthew Harrison-Trainor, Meng-Che Turbo Ho:
Finitely generated groups are universal among finitely generated structures. 102855 - Jörg Brendle, Miguel A. Cardona, Diego Alejandro Mejía
:
Filter-linkedness and its effect on preservation of cardinal characteristics. 102856 - Boris Sobot
:
|˜-divisibility of ultrafilters. 102857 - Elías Baro, Amador Martin-Pizarro
:
Open core and small groups in dense pairs of topological structures. 102858 - Fausto Barbero:
Complexity of syntactical tree fragments of Independence-Friendly logic. 102859 - Vahagn Aslanyan
:
Ax-Schanuel and strong minimality for the j-function. 102871 - Iván Ongay-Valverde, Paul Tveite:
Computable analogs of cardinal characteristics: Prediction and rearrangement. 102872 - Paul Gartside, Ana Mamatelashvili:
Tukey order, calibres and the rationals. 102873 - Soroush Rafiee Rad:
Probabilistic characterisation of models of first-order theories. 102875
Volume 172, Number 2, February 2021
- Osvaldo Guzmán González, Michael Hrusák, Jindrich Zapletal
:
Preservation theorems for Namba forcing. 102869 - Jürgen Landes, Soroush Rafiee Rad, Jon Williamson:
Towards the entropy-limit conjecture. 102870 - Pierre Matet:
When Pκ(λ) (vaguely) resembles κ. 102874 - Joaquín Borrego-Díaz
:
Algebraic combinatorics in bounded induction. 102885 - Kota Takeuchi, Akito Tsuboi:
On the number of independent orders. 102886 - Shimon Garti
, Jing Zhang:
Stationary and closed rainbow subsets. 102887 - Tapani Hyttinen
, Gianluca Paolini:
First-order model theory of free projective planes. 102888 - Peter Holy, Philipp Lücke
:
Small models, large cardinals, and induced ideals. 102889 - Anton Freund, Michael Rathjen:
Derivatives of normal functions in reverse mathematics. 102890 - Pavel Pudlák:
The canonical pairs of bounded depth Frege systems. 102892 - Ivan Georgiev
, Lars Kristiansen, Frank Stephan:
Computable irrational numbers with representations of surprising complexity. 102893
Volume 172, Number 3, March 2021
- Lynn Scow:
Ramsey transfer to semi-retractions. 102891 - Piotr Szewczak
, Magdalena Wludecka:
Unbounded towers and products. 102900 - Arthur W. Apter, Shoshana Friedman, Gunter Fuchs:
More on HOD-supercompactness. 102901 - Ulrich Berger, Hideki Tsuiki:
Intuitionistic fixed point logic. 102903 - Vasco Brattka
, Guido Gherardi:
Completion of choice. 102914 - Denis Osin:
A topological zero-one law and elementary equivalence of finitely generated groups. 102915 - Guillermo Badia
, Carles Noguera
:
Lindström theorems in graded model theory. 102916 - Marcos Mazari-Armida
:
Superstability, noetherian rings and pure-semisimple rings. 102917
Volume 172, Number 4, April 2021
- Fabiana Castiblanco, Philipp Schlicht
:
Preserving levels of projective determinacy by tree forcings. 102918 - Tom Benhamou
, Moti Gitik:
Sets in Prikry and Magidor generic extensions. 102926 - Junguk Lee
, Wan Lee:
On the structure of certain valued fields. 102927 - Szymon Dolecki, Andrzej Starosolski:
Continuous extension of maps between sequential cascades. 102928 - Vladimir Kanovei
, Vassily A. Lyubetsky
:
The full basis theorem does not imply analytic wellordering. 102929 - Moritz Müller:
Typical forcings, NP search problems and an extension of a theorem of Riis. 102930 - Masanao Ozawa
:
Quantum set theory: Transfer Principle and De Morgan's Laws. 102938 - Juan P. Aguilera
, Sandra Müller
, Philipp Schlicht
:
Long games and σ-projective sets. 102939 - Bruno Dinis
, Paulo Oliva
:
A parametrised functional interpretation of Heyting arithmetic. 102940 - Silvain Rideau-Kikuchi:
A short note on groups in separably closed valued fields. 102943
Volume 172, Number 5, May 2021
- Franklin D. Tall:
Introduction. 102902 - Ari Meir Brodsky, Assaf Rinot
:
A microscopic approach to Souslin-tree construction, Part II. 102904 - David Chodounský, Osvaldo Guzmán González:
Indestructibility of ideals and MAD families. 102905 - Alan Dow:
An Efimov space with character less than s. 102906 - Christopher J. Eagle
, Clovis Hamel, Franklin D. Tall:
Two applications of topology to model theory. 102907 - Ilijas Farah
, Menachem Magidor:
Corson reflections. 102908 - Vera Fischer
, David Schrittesser
, Thilo Weinert:
Definable MAD families and forcing axioms. 102909 - Michael Hrusák, Alexander Y. Shibakov:
Convergent sequences in topological groups. 102910 - Ashutosh Kumar, Dilip Raghavan:
Separating families and order dimension of Turing degrees. 102911 - Justin Tatch Moore:
Some remarks on the Open Coloring Axiom. 102912 - Inessa Moroz, Asger Törnquist:
The Borel complexity of von Neumann equivalence. 102913
Volume 172, Number 6, June 2021
- Mateusz Lelyk, Bartosz Wcislo:
Local collection and end-extensions of models of compositional truth. 102941 - Nam Trang, Trevor M. Wilson:
Determinacy from strong compactness of ω1. 102944 - Daniele Mundici:
The differential of probabilistic entailment. 102945 - Pedro Andrés Estevan, Itay Kaplan
:
Non-forking and preservation of NIP and dp-rank. 102946 - Will Johnson:
Dp-finite fields I(A): The infinitesimals. 102947 - Will Johnson:
Dp-finite fields I(B): Positive characteristic. 102949 - Saharon Shelah, Andrés Villaveces:
The Hart-Shelah example, in stronger logics. 102958 - Karel Hrbacek, Mikhail G. Katz
:
Infinitesimal analysis without the Axiom of Choice. 102959 - Joshua Brot, Mengyang Cao, David J. Fernández-Bretón
:
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice. 102961
Volume 172, Number 7, July 2021
- Brent Cody
, Victoria Gitman, Chris Lambie-Hanson
:
Forcing a □(κ)-like principle to hold at a weakly compact cardinal. 102960 - Dmitry Shkatov
, Clint J. van Alten:
Computational complexity for bounded distributive lattices with negation. 102962 - William Chen-Mertens, Itay Neeman:
On the relationship between mutual and tight stationarity. 102963 - Paul Wang
:
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids. 102970 - Rami P. Grossberg
, Marcos Mazari-Armida
:
Simple-like independence relations in abstract elementary classes. 102971 - Raheleh Jalali
:
Proof complexity of substructural logics. 102972 - Sárka Stejskalová:
Easton's theorem for the tree property below ℵω. 102974
Volume 172, Number 8, August 2021
- Sylvy Anscombe
, Philip Dittmann
, Arno Fehm:
Denseness results in the theory of algebraic fields. 102973 - Bruno Dinis
, Mário J. Edmundo
, Marcello Mamino:
Fundamental group in o-minimal structures with definable Skolem functions. 102975 - Pratulananda 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. 102976 - Jamal K. Kawach
:
Parametrized Ramsey theory of infinite block sequences of vectors. 102984 - Saharon Shelah, Juris Steprans:
Universal graphs and functions on ω1. 102986 - Iskander Sh. Kalimullin
, Alexander G. Melnikov, Antonio Montalbán:
Punctual definability on structures. 102987 - William Chan
, Stephen Jackson:
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. 102988 - Christina Brech
, Claribet Piña:
Banach-Stone-like results for combinatorial Banach spaces. 102989 - Luca Reggio
:
Beth definability and the Stone-Weierstrass Theorem. 102990
Volume 172, Number 9, October 2021
- Noam Greenberg, Matthew Harrison-Trainor, Alexander G. Melnikov
, Dan Turetsky:
Non-density in punctual computability. 102985 - Itay Kaplan
, Nicholas Ramsey
, Saharon Shelah:
Criteria for exact saturation and singular compactness. 102992 - Longchun Wang
, Qingguo Li, Xiangnan Zhou:
Continuous L-domains in logical form. 102993 - Carmi Merimovich
:
Mathias like criterion for the extender based Prikry forcing. 102994 - Gunnar Wilken
:
Pure Σ2-elementarity beyond the core. 103001 - Grzegorz Jagiella
:
Topological dynamics and NIP fields. 103010 - Yaroslav Shramko:
Hilbert-style axiomatization of first-degree entailment and a family of its extensions. 103011 - Antonio Di Nola, Anatolij Dvurecenskij, Serafina Lapenta:
An approach to stochastic processes via non-classical logic. 103012 - Arthur W. Apter, Stamatis Dimopoulos, Toshimichi Usuba:
Strongly compact cardinals and the continuum function. 103013
Volume 172, Number 10, December 2021
- Juan P. Aguilera
:
A characterization of Σ11-reflecting ordinals. 103009 - Rosalie Iemhoff
, Robert Paßmann:
Logics of intuitionistic Kripke-Platek set theory. 103014 - Paolo Lipparini
:
Linearly ordered sets with only one operator have the amalgamation property. 103015 - Adam Krawczyk, Wieslaw Kubis:
Games with finitely generated structures. 103016 - Juan Carlos Martínez, Lajos Soukup:
A consistency result on long cardinal sequences. 103017 - José Espírito Santo
, Ralph Matthes
, Luís Pinto
:
A coinductive approach to proof search through typed lambda-calculi. 103026 - Marta Fiori-Carones
, Leszek Aleksander Kolodziejczyk
, Katarzyna W. Kowalik:
Weaker cousins of Ramsey's theorem over a weak base theory. 103028
![](https://dblp1.uni-trier.de/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.