Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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, Luca Carai, Silvio Ghilardi, Lucia Landi:
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, Riccardo Plati, Salome Schumacher, Saharon Shelah:
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, Françoise Point:
Topological fields with a generic derivation. 103211 - Daniel Gaina, Guillermo Badia, Tomasz Kowalski:
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, Jing Zhang:
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, Anand Pillay:
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, Philipp Schlicht:
Forcing axioms via ground model interpretations. 103260 - Miha E. Habic, Radek Honzik:
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 Solda, 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, Xavier Caicedo, Carles Noguera:
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, Eliza Wajch:
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, Sara Negri:
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, Jonathan Kirby:
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, Corey Bacal Switzer:
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, Marlene Koelbing, Wolfgang Wohofsky:
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, Takako Nemoto, Michael Rathjen:
Choice and independence of premise rules in intuitionistic set theory. 103314 - Christopher J. Eagle, Clovis Hamel, Sandra Müller, Franklin D. Tall:
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, Guillermo Badia, Reihane Zoghifard:
A Lindström theorem for intuitionistic first-order logic. 103346 - Pavel Naumov, Jia Tao:
Counterfactual and seeing-to-it responsibilities in strategic games. 103353
a service of 
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-04-26 18:29 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:
