default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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
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-04-25 17:37 CEST 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:
