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
Stationary and closed rainbow subsets. 102887 - Tapani Hyttinen
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
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
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
Completion of choice. 102914 - Denis Osin:
A topological zero-one law and elementary equivalence of finitely generated groups. 102915 - Guillermo Badia
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
Sets in Prikry and Magidor generic extensions. 102926 - Junguk Lee
On the structure of certain valued fields. 102927 - Szymon Dolecki, Andrzej Starosolski:
Continuous extension of maps between sequential cascades. 102928 - Vladimir Kanovei
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
Long games and σ-projective sets. 102939 - Bruno Dinis
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
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
Two applications of topology to model theory. 102907 - Ilijas Farah
Corson reflections. 102908 - Vera Fischer
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
Forcing a □(κ)-like principle to hold at a weakly compact cardinal. 102960 - Dmitry Shkatov
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
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
Denseness results in the theory of algebraic fields. 102973 - Bruno Dinis
Fundamental group in o-minimal structures with definable Skolem functions. 102975 - Pratulananda Das, Rafal Filipów, Szymon Glab
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
Punctual definability on structures. 102987 - William Chan
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations. 102988 - Christina Brech
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
Non-density in punctual computability. 102985 - Itay Kaplan
Criteria for exact saturation and singular compactness. 102992 - Longchun Wang
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
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
A coinductive approach to proof search through typed lambda-calculi. 103026 - Marta Fiori-Carones
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 2024-11-15 19:21 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: