![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 173
Volume 173, Number 1, January 2022
- Nadav Meir
:
Infinite lexicographic products. 102991 - Hassan Sfouli:
Extension of C∞ functions in polynomially bounded o-minimal structure. 103027 - Guram Bezhanishvili, Luca Carai
, Patrick J. Morandi:
The Vietoris functor and modal operators on rings of continuous functions. 103029 - Vahagn Aslanyan:
Adequate predimension inequalities in differential fields. 103030 - Corey Bacal Switzer:
Higher dimensional cardinal characteristics for sets of functions. 103031 - Omer Mermelstein:
Indifference to symmetry in Hrushovski's ab initio construction. 103040 - Ian Pratt-Hartmann
, Lidia Tendera
:
The fluted fragment with transitive relations. 103042 - Will Brian, Alan Dow
:
Small cardinals and small Efimov spaces. 103043 - Yatir Halevi:
Corrigendum to "On stably pointed varieties and generically stable groups in ACVF" [Ann. Pure Appl. Log. 170(2) (2019) 180-217]. 103045
Volume 173, Number 2, February 2022
- Miguel Moreno
:
The isomorphism relation of theories with S-DOP in the generalised Baire spaces. 103044 - Assaf Rinot
:
On the ideal J[κ]. 103055 - Farmer Schlutzenberg:
Reinhardt cardinals and iterates of V. 103056 - Stepan L. Kuznetsov
, Stanislav O. Speranski
:
Infinitary action logic with exponentiation. 103057 - Jan Dobrowolski
, Byunghan Kim, Nicholas Ramsey
:
Independence over arbitrary sets in NSOP1 theories. 103058 - Josef Berger, Gregor Svindland
:
On Farkas' lemma and related propositions in BISH. 103059
Volume 173, Number 3, March 2022
- Merlin Carl:
Taming Koepke's Zoo II: Register machines. 103041 - Nikolay Bazhenov, Dino Rossegger
, Maxim V. Zubkov:
On bi-embeddable categoricity of algebraic structures. 103060 - Ayhan Günaydin
, Melissa Özsahakyan
:
Expansions of the group of integers by Beatty sequences. 103062 - Yanjing Wang
, Yu Wei
, Jeremy Seligman:
Quantifier-free epistemic term-modal logic with assignment operator. 103071 - Jamshid Derakhshan, Angus Macintyre
:
Model theory of adeles I. 103074
Volume 173, Number 4, April 2022
- Peter Holy, Marlene Koelbing, Philipp Schlicht
, Wolfgang Wohofsky:
Ideal topologies in higher descriptive set theory. 103061 - Wojciech Dzik, Slawomir Kost
, Piotr Wojtylak:
Finitary unification in locally tabular modal logics characterized. 103072 - Bokai Yao:
Reflection principles and second-order choice principles with urelements. 103073 - Alexander Wires
:
Complexity in Young's lattice. 103075 - Russell G. Miller
, Alexandra Shlapentokh
:
On existential definitions of c.e. subsets of rings of functions of characteristic 0. 103076 - Jiaqi Bao, Ningyuan Yao:
Definably topological dynamics of p-adic algebraic groups. 103077 - Haim Horowitz, Saharon Shelah
:
On the definability of mad families of vector spaces. 103079
Volume 173, Number 5, May 2022
- Juan P. Aguilera
, Matthias Baaz, Jan Bydzovsky:
The number of axioms. 103078 - Hanul Jeon
:
Constructive Ackermann's interpretation. 103086 - Taishi Kurahashi
, Yuya Okawa, V. Yu. Shavrukov, Albert Visser
:
On Guaspari's problem about partially conservative sentences. 103087 - Huishan Wu
:
The computational complexity of module socles. 103089 - Mathieu Hoyrup:
The fixed-point property for represented spaces. 103090 - Sonia Marin, Dale Miller
, Elaine Pimentel
, Marco Volpe:
From axioms to synthetic inference rules via focusing. 103091 - Lev D. Beklemishev, Fedor Pakhomov:
Reflection algebras and conservation results for theories of iterated truth. 103093 - Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
:
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime. 103100
Volume 173, Number 6, June 2022
- Uwe Petersen:
Is cut-free logic fit for unrestricted abstraction? 103101 - Fan Yang
:
Propositional union closed team logics. 103102 - Jacopo Emmenegger
, Fabio Pasquali, Giuseppe Rosolini:
A characterisation of elementary fibrations. 103103 - Siegfried Van Hille
:
Mild parametrizations of power-subanalytic sets. 103105 - Victoria Gitman, Thomas A. Johnstone:
Indestructibility properties of Ramsey and Ramsey-like cardinals. 103106 - Tom Benhamou
, Moti Gitik:
Intermediate models of Magidor-Radin forcing-Part II. 103107 - Be'eri Greenfeld:
First-order rigidity of rings satisfying polynomial identities. 103109
Volume 173, Number 7, July 2022
- Krzysztof Krupinski, Tomasz Rzepecki
:
Generating ideals by additive subgroups of rings. 103119 - Wolfgang Rump:
L-algebras and three main non-classical logics. 103121 - Åsa Hirvonen
, Joni Puljujärvi
:
Games and Scott sentences for positive distances between metric structures. 103123 - Michael J. Lieberman, Jirí Rosický
, Sebastien Vasey:
Induced and higher-dimensional stable independence. 103124 - Michael McInerney, Keng Meng Ng:
Separating weak α-change and α-change genericity. 103134
Volume 173, Number 8, August 2022
- Michael R. Cotton:
Abelian group actions and hypersmooth equivalence relations. 103122 - Zachiri McKenzie
, Ali Enayat
:
End extending models of set theory via power admissible covers. 103132 - Stephen Flood, Matthew Jura
, Oscar Levin
, Tyler Markkanen
:
The computational strength of matchings in countable graphs. 103133 - Jeffrey Bergfalk
, Vera Fischer
, Corey Bacal Switzer
:
Projective well orders and coanalytic witnesses. 103135
Volume 173, Number 9, October 2022
- Masato Fujita
:
Almost o-minimal structures and X-structures. 103144 - Udayan B. Darji, Márton Elekes, Kende Kalina, Viktor Kiss, Zoltán Vidnyánszky
:
The structure of random automorphisms of the random graph. 103152 - Judit X. Madarász, Mike Stannett
, Gergely Székely:
Investigations of isotropy and homogeneity of spacetime in first-order logic. 103153 - Ivano Ciardelli
, Gianluca Grilletti
:
Coherence in inquisitive first-order logic. 103155 - Rafal Filipów
, Krzysztof Kowitz, Adam Kwela
:
Characterizing existence of certain ultrafilters. 103157 - Ali Enayat
:
Set theoretical analogues of the Barwise-Schlipf theorem. 103158 - Albert Visser
:
Friedman-reflexivity. 103160 - Vera Fischer
, Saharon Shelah:
The spectrum of independence, II. 103161 - Pierre Matet:
The secret life of μ-clubs. 103162
Volume 173, Number 10, December 2022
- Darion Haase
, Erich Grädel
, Richard Wilke
:
Separation logic and logics with team semantics. 103063 - Rafael Albert, Erich Grädel
:
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. 103088 - Miika Hannula
, Minna Hirvonen
, Juha Kontinen
:
On elementary logics for quantitative dependencies. 103104 - Miika Hannula
, Jonni Virtema
:
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. 103108 - Richard Wilke
:
On the Presburger fragment of logics with multiteam semantics. 103120 - Raine Rönnholm:
On definability of team relations with k-invariant atoms. 103136 - Davide Emilio Quadrellaro
:
On intermediate inquisitive and dependence logics: An algebraic study. 103143 - Haoyu Wang, Yanjing Wang
, Yunsong Wang
:
Inquisitive logic as an epistemic logic of knowing how. 103145 - Vít Puncochár
:
Iterated team semantics for a hierarchy of informational types. 103156 - Fausto Barbero
, Pietro Galliani:
Embedding causal team languages into predicate logic. 103159 - Anselm Haak, Arne Meier
, Fabian Müller, Heribert Vollmer
:
Enumerating teams in first-order team logics. 103163 - Jouko Väänänen, Fan Yang, Philip Scott:
Introduction. 103168
![](https://dblp.dagstuhl.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.