default search action
Annals of Pure and Applied Logic, Volume 174
Volume 174, Number 1, January 2023
- Giovanni Curi:
Constructive strong regularity and the extension property of a compactification. 103154 - Moti Gitik, Eyal Kaplan:
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model. 103164 - Przemyslaw Andrzej Walega:
Computational complexity of hybrid interval temporal logics. 103165 - Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova:
Bounded-depth Frege complexity of Tseitin formulas for all graphs. 103166 - Stefan Hetzl
, Jannik Vierling
Induction and Skolemization in saturation theorem proving. 103167 - Nick Bezhanishvili
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras. 103169 - Jizhan Hong:
Quantifier elimination on some pseudo-algebraically closed valued fields. 103170 - Joan Bagaria, Philipp Lücke
Huge reflection. 103171 - Ziemowit Kostana:
Cohen-like first order structures. 103172 - Emil Jerábek
On the proof complexity of logics of bounded branching. 103181 - Daniele Mundici:
AF-algebras with lattice-ordered K0: Logic and computation. 103182
Volume 174, Number 2, February 2023
- Zvonko Iljazovic, Lucija Validzic:
Effective compactness and orbits of points under the isometry group. 103198 - Nhan Nguyen:
Regular projections in o-minimal structures. 103199 - Lorenz Halbeisen
Four cardinals and their relations in ZF. 103200 - Samson Leung
Hanf number of the first stability cardinal in AECs. 103201 - Valentin B. Shehtman:
On Kripke completeness of modal predicate logics around quantified K5. 103202 - Konstantinos Kartas:
An undecidability result for the asymptotic theory of p-adic fields. 103203 - James E. Hanson
Metric spaces are universal for bi-interpretation with metric structures. 103204 - Jetze Zoethout
Third-order functionals on partial combinatory algebras. 103205 - Clifton F. Ealy, Jana Maríková
Quantifier elimination for o-minimal structures expanded by a valuational cut. 103206 - Farmer Schlutzenberg
The definability of E in self-iterable mice. 103208
Volume 174, Number 3, March 2023
- Kentaro Sato:
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection. 103207 - Wolfgang Rump:
Corrigendum and addendum to: "L-algebras and three main non-classical logics" [Ann. Pure Appl. Log. 173 (7) (2022) 103121]. 103209 - Jinhe Ye
A note on μ-stabilizers in ACVF. 103210 - Pablo Cubides Kovacsics
Topological fields with a generic derivation. 103211 - Daniel Gaina, Guillermo Badia
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. 103212 - William Chan
A Lipschitz determinacy principle equivalent to weak König lemma. 103213
Volume 174, Number 4, April 2023
- James Walsh
Characterizations of ordinal analysis. 103230 - Thomas Powell
A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory. 103231 - Patrick Uftring
Weak and strong versions of Effective Transfinite Recursion. 103232 - Iris van der Giessen:
Admissible rules for six intuitionistic modal logics. 103233 - Maria Emilia Maietti, Davide Trotta
A characterization of generalized existential completions. 103234 - Juan P. Aguilera
The Löwenheim-Skolem theorem for Gödel logic. 103235 - John Krueger:
A large pairwise far family of Aronszajn trees. 103236 - Assaf Rinot
Complicated colorings, revisited. 103243 - Dan Hathaway
Applying generic coding with help to uniformizations. 103244
Volume 174, Number 5, May 2023
- Guillaume Massas
B-frame duality. 103245 - Samson Leung
Axiomatizing AECs and applications. 103248 - Nicolas Chavarria
On pp-elimination and stability in a continuous setting. 103258
Volume 174, Number 6, June 2023
- Sittinon Jirattikansakul
Blowing up the power of a singular cardinal of uncountable cofinality with collapses. 103257 - Merlin Carl, Lorenzo Galeotti, Robert Paßmann
Realisability for infinitary intuitionistic set theory. 103259 - Christopher Henney-Turner
Forcing axioms via ground model interpretations. 103260 - Miha E. Habic
Capturing sets of ordinals by normal ultrapowers. 103261 - Mark Kamsma
Bilinear spaces over a fixed field are simple unstable. 103268 - Emil Jerábek
Elementary analytic functions in VTC0. 103269
Volume 174, Number 7, July 2023
- Giovanni Soldà, Manlio Valenti
Algebraic properties of the first-order part of a problem. 103270 - Haruka Kogure, Taishi Kurahashi
Arithmetical completeness theorems for monotonic modal logics. 103271 - H. Brickhill, Philip D. Welch
Generalisations of stationarity, closed and unboundedness, and of Jensen's □. 103272 - Guillermo Badia
Frame definability in finitely valued modal logics. 103273 - Ningyuan Yao, Zhentao Zhang:
On minimal flows and definable amenability in some distal NIP theories. 103274 - Kyriakos Keremedis, Eleftherios Tachtsis
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice. 103283
Volume 174, Number 8, August 2023
- Matteo Tesi
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. 103285 - Osvaldo Guzmán, Stevo Todorcevic
Forcing with copies of the Rado and Henson graphs. 103286 - Vahagn Aslanyan, Robert Henderson, Mark Kamsma
Independence relations for exponential fields. 103288 - Pratulananda Das, Ayan Ghosh:
Eggleston's dichotomy for characterized subgroups and the role of ideals. 103289 - Saharon Shelah, Otmar Spinas:
Different cofinalities of tree ideals. 103290 - Vera Fischer
Cohen preservation and independence. 103291 - Stefan Hoffelner
Forcing the Π31-reduction property and a failure of Π31-uniformization. 103292
Volume 174, Number 9, October 2023
- Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey
Carlson-Simpson's lemma and applications in reverse mathematics. 103287 - Jindrich Zapletal
Krull dimension in set theory. 103299 - Vera Fischer
Fresh function spectra. 103300 - Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro
Lipschitz and Wadge binary games in second order arithmetic. 103301 - Ram Sewak Dubey, Giorgio Laguzzi:
Social welfare relations and irregular sets. 103302 - Jörg Brendle, Lorenz Halbeisen, Lukas Daniel Klausner, Marc Lischka, Saharon Shelah:
Halfway new cardinal characteristics. 103303 - Nikolay Bazhenov, Matthew Harrison-Trainor, Alexander G. Melnikov
Computable Stone spaces. 103304 - Nedeljko Stefanovic
Alternatives to the Halpern-Läuchli theorem. 103313 - Emanuele Frittaion
Choice and independence of premise rules in intuitionistic set theory. 103314 - Christopher J. Eagle
An undecidable extension of Morley's theorem on the number of countable models. 103317
Volume 174, Number 10, December 2023
- Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. 103315 - Alexi Block Gorman:
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup. 103316 - Pierre Touchard
Burden in Henselian valued fields. 103318 - Grigory K. Olkhovikov
A Lindström theorem for intuitionistic first-order logic. 103346 - Pavel Naumov, Jia Tao
Counterfactual and seeing-to-it responsibilities in strategic games. 103353
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: