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
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
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
Infinitary action logic with exponentiation. 103057 - Jan Dobrowolski
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
On bi-embeddable categoricity of algebraic structures. 103060 - Ayhan Günaydin
Expansions of the group of integers by Beatty sequences. 103062 - Yanjing Wang
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
Ideal topologies in higher descriptive set theory. 103061 - Wojciech Dzik, Slawomir Kost
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
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
The number of axioms. 103078 - Hanul Jeon
Constructive Ackermann's interpretation. 103086 - Taishi Kurahashi
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
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
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
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
Games and Scott sentences for positive distances between metric structures. 103123 - Michael J. Lieberman, Jirí Rosický
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
End extending models of set theory via power admissible covers. 103132 - Stephen Flood, Matthew Jura
The computational strength of matchings in countable graphs. 103133 - Jeffrey Bergfalk
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
The structure of random automorphisms of the random graph. 103152 - Judit X. Madarász, Mike Stannett
Investigations of isotropy and homogeneity of spacetime in first-order logic. 103153 - Ivano Ciardelli
Coherence in inquisitive first-order logic. 103155 - Rafal Filipów
Characterizing existence of certain ultrafilters. 103157 - Ali Enayat
Set theoretical analogues of the Barwise-Schlipf theorem. 103158 - Albert Visser
Friedman-reflexivity. 103160 - Vera Fischer
The spectrum of independence, II. 103161 - Pierre Matet:
The secret life of μ-clubs. 103162
Volume 173, Number 10, December 2022
- Darion Haase
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
On elementary logics for quantitative dependencies. 103104 - Miika Hannula
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
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
Embedding causal team languages into predicate logic. 103159 - Anselm Haak, Arne Meier
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 2024-11-18 20:50 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: