default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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
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:
