| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John R. Steel |
The comparison lemma.  |
Ann. Pure Appl. Log.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiro Kanamori |
Kunen the expositor. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilip Raghavan |
Editorial. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Gorbunov, Dmitry Shkatov |
Extensions of Solovay's system S without independent sets of axioms. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Stevo Todorcevic |
Dense metrizability. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Nyikos, Lyubomyr Zdomskyy |
Locally compact, ω1-compact spaces. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Goldberg |
Measurable cardinals and choiceless axioms. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jindrich Zapletal |
Subadditive families of hypergraphs. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chodounský, Osvaldo Guzmán, Michael Hrusák |
HL ideals and Sacks indestructible ultrafilters. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Teruyuki Yorioka |
Two chain conditions and their Todorčević's fragments of Martin's Axiom. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Haim Horowitz, Saharon Shelah |
A Borel maximal eventually different family. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | David Buhagiar, Mirna Dzamonja |
On middle box products and paracompact cardinals. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Weiss, Piotr Zakrzewski |
On countably perfectly meager and countably perfectly null sets. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Malliaris 0001, Saharon Shelah |
Some simple theories from a Boolean algebra point of view. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Hugh Woodin |
Large cardinals at the brink. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Jerome Keisler |
Using ultrapowers to compare continuous structures. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Monroe Eskew |
Weak saturation properties and side conditions. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Marta Fiori-Carones, Lu Liu, Alexander G. Melnikov |
Primitive recursive reverse mathematics. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Medini, Zoltán Vidnyánszky |
Zero-dimensional σ-homogeneous spaces. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan M. Santiago Suárez, Matteo Viale |
Boolean valued semantics for infinitary logics. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence C. Paulson |
A formalised theorem in the partition calculus. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg |
Mutually embeddable models of ZFC. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Dow |
Laver forcing and converging sequences. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov |
Generalized fusible numbers and their ordinals. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Radek Honzik, Chris Lambie-Hanson, Sárka Stejskalová |
Indestructibility of some compactness principles over models of PFA. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Saharon Shelah, Juris Steprans |
Some variations on the splitting number. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ur Ya'ar |
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Bagaria |
The relative strengths of fragments of Martin's axiom. |
Ann. Pure Appl. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Chavarria, Anand Pillay |
On pp-elimination and stability in a continuous setting. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Kartas |
An undecidability result for the asymptotic theory of p-adic fields. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro |
Lipschitz and Wadge binary games in second order arithmetic. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Leung |
Hanf number of the first stability cardinal in AECs. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Jerábek |
Elementary analytic functions in VTC0. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningyuan Yao, Zhentao Zhang |
On minimal flows and definable amenability in some distal NIP theories. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Uftring |
Weak and strong versions of Effective Transfinite Recursion. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi |
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nedeljko Stefanovic |
Alternatives to the Halpern-Läuchli theorem. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kamsma |
Bilinear spaces over a fixed field are simple unstable. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris van der Giessen |
Admissible rules for six intuitionistic modal logics. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | James Walsh 0007 |
Characterizations of ordinal analysis. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Eagle, Clovis Hamel, Sandra Müller, Franklin D. Tall |
An undecidable extension of Morley's theorem on the number of countable models. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gaina, Guillermo Badia, Tomasz Kowalski |
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Hathaway |
Applying generic coding with help to uniformizations. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Frittaion, Takako Nemoto, Michael Rathjen |
Choice and independence of premise rules in intuitionistic set theory. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nhan Nguyen |
Regular projections in o-minimal structures. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | John Krueger |
A large pairwise far family of Aronszajn trees. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Naumov, Jia Tao 0001 |
Counterfactual and seeing-to-it responsibilities in strategic games. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Tesi, Sara Negri |
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyriakos Keremedis, Eleftherios Tachtsis, Eliza Wajch |
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky |
Fresh function spectra. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Badia, Xavier Caicedo, Carles Noguera |
Frame definability in finitely valued modal logics. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vera Fischer, Corey Bacal Switzer |
Cohen preservation and independence. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova |
Bounded-depth Frege complexity of Tseitin formulas for all graphs. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Mundici |
AF-algebras with lattice-ordered K0: Logic and computation. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Bagaria, Philipp Lücke |
Huge reflection. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Solda, Manlio Valenti |
Algebraic properties of the first-order part of a problem. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahagn Aslanyan, Robert Henderson, Mark Kamsma, Jonathan Kirby |
Independence relations for exponential fields. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin B. Shehtman |
On Kripke completeness of modal predicate logics around quantified K5. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Jerábek |
On the proof complexity of logics of bounded branching. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Cubides Kovacsics, Françoise Point |
Topological fields with a generic derivation. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard |
A Lindström theorem for intuitionistic first-order logic. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey |
Carlson-Simpson's lemma and applications in reverse mathematics. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Farmer Schlutzenberg |
The definability of E in self-iterable mice. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Henney-Turner, Philipp Schlicht |
Forcing axioms via ground model interpretations. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Andrzej Walega |
Computational complexity of hybrid interval temporal logics. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziemowit Kostana |
Cohen-like first order structures. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | William Chan 0002 |
A Lipschitz determinacy principle equivalent to weak König lemma. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hetzl, Jannik Vierling |
Induction and Skolemization in saturation theorem proving. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brendle, Lorenz Halbeisen, Lukas Daniel Klausner, Marc Lischka, Saharon Shelah |
Halfway new cardinal characteristics. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Curi |
Constructive strong regularity and the extension property of a compactification. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jindrich Zapletal |
Krull dimension in set theory. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Massas |
B-frame duality. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clifton F. Ealy, Jana Maríková |
Quantifier elimination for o-minimal structures expanded by a valuational cut. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pratulananda Das, Ayan Ghosh |
Eggleston's dichotomy for characterized subgroups and the role of ideals. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Osvaldo Guzmán, Stevo Todorcevic |
Forcing with copies of the Rado and Henson graphs. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Emilia Maietti, Davide Trotta |
A characterization of generalized existential completions. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenz Halbeisen, Riccardo Plati, Salome Schumacher, Saharon Shelah |
Four cardinals and their relations in ZF. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Touchard |
Burden in Henselian valued fields. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jetze Zoethout |
Third-order functionals on partial combinatory algebras. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saharon Shelah, Otmar Spinas |
Different cofinalities of tree ideals. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Moti Gitik, Eyal Kaplan |
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jizhan Hong |
Quantifier elimination on some pseudo-algebraically closed valued fields. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Assaf Rinot, Jing Zhang |
Complicated colorings, revisited. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | James E. Hanson |
Metric spaces are universal for bi-interpretation with metric structures. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Brickhill, Philip D. Welch |
Generalisations of stationarity, closed and unboundedness, and of Jensen's □. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero |
Alternating (In)Dependence-Friendly Logic. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffelner |
Forcing the Π31-reduction property and a failure of Π31-uniformization. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexi Block Gorman |
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinhe Ye |
A note on μ-stabilizers in ACVF. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvonko Iljazovic, Lucija Validzic |
Effective compactness and orbits of points under the isometry group. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Rump |
Corrigendum and addendum to: "L-algebras and three main non-classical logics" [Ann. Pure Appl. Log. 173 (7) (2022) 103121]. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Miha E. Habic, Radek Honzik |
Capturing sets of ordinals by normal ultrapowers. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Merlin Carl, Lorenzo Galeotti, Robert Paßmann |
Realisability for infinitary intuitionistic set theory. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan P. Aguilera 0001 |
The Löwenheim-Skolem theorem for Gödel logic. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Sato |
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Matthew Harrison-Trainor, Alexander G. Melnikov |
Computable Stone spaces. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Leung |
Axiomatizing AECs and applications. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Powell 0001 |
A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ram Sewak Dubey, Giorgio Laguzzi |
Social welfare relations and irregular sets. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sittinon Jirattikansakul |
Blowing up the power of a singular cardinal of uncountable cofinality with collapses. |
Ann. Pure Appl. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license