- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Annals of Pure and Applied Logic
ISSN: 0168-0072
51 found
- The Set-Cover game and non-measurable unions.Taras Banakh, Robert Rałowski & Szymon Żeberski - 2025 - Annals of Pure and Applied Logic 176 (8):103602.
- Extender-based Magidor-Radin forcings without top extenders.Moti Gitik & Sittinon Jirattikansakul - 2025 - Annals of Pure and Applied Logic 176 (8):103584.
- Upward Löwenheim-Skolem-Tarski numbers for abstract logics.Victoria Gitman & Jonathan Osinski - 2025 - Annals of Pure and Applied Logic 176 (8):103583.
- Piecewise convex embeddability on linear orders.Martina Iannella, Alberto Marcone, Luca Motto Ros & Vadim Weinstein - 2025 - Annals of Pure and Applied Logic 176 (8):103581.
- Some more results on relativized Chaitin's Ω.Liang Yu - 2025 - Annals of Pure and Applied Logic 176 (8):103586.
- P-measures in models without P-points.Piotr Borodulin-Nadzieja, Jonathan Cancino-Manríquez & Adam Morawski - 2025 - Annals of Pure and Applied Logic 176 (7):103579.
- Completeness in local positive logic.Arturo Rodríguez Fanlo & Ori Segel - 2025 - Annals of Pure and Applied Logic 176 (7):103601.
- Cardinal characteristics on bounded generalised Baire spaces.Tristan van der Vlugt - 2025 - Annals of Pure and Applied Logic 176 (7):103582.
- Universally Sacks-indestructible combinatorial families of reals.V. Fischer & L. Schembecker - 2025 - Annals of Pure and Applied Logic 176 (6):103566.
- Tight cofinitary groups.Vera Fischer, L. Schembecker & David Schrittesser - 2025 - Annals of Pure and Applied Logic 176 (6):103570.
- Iterated reduced powers of collapsing algebras.Miloš S. Kurilić - 2025 - Annals of Pure and Applied Logic 176 (6):103567.
- A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces.Morenikeji Neri - 2025 - Annals of Pure and Applied Logic 176 (6):103569.
- Automorphism groups of prime models, and invariant measures.Anand Pillay - 2025 - Annals of Pure and Applied Logic 176 (6):103568.
- Borel sets without perfectly many overlapping translations, III.Andrzej Rosłanowski & Saharon Shelah - 2025 - Annals of Pure and Applied Logic 176 (6):103565.
- Conditional algebras.Sergio Celani, Rafał Gruszczyński & Paula Menchón - 2025 - Annals of Pure and Applied Logic 176 (5):103556.
- Local tabularity is decidable for bi-intermediate logics of trees and of co-trees.Miguel Martins & Tommaso Moraschini - 2025 - Annals of Pure and Applied Logic 176 (5):103563.
- Π2-rule systems and inductive classes of Gödel algebras.Rodrigo Nicolau Almeida - 2025 - Annals of Pure and Applied Logic 176 (4):103552.
- On dp-minimal expansions of the integers.Eran Alouf - 2025 - Annals of Pure and Applied Logic 176 (4):103551.
- Failure of the Blok–Esakia Theorem in the monadic setting.G. Bezhanishvili & L. Carai - 2025 - Annals of Pure and Applied Logic 176 (4):103527.
- Strength and limitations of Sherali-Adams and Nullstellensatz proof systems.Ilario Bonacina & Maria Luisa Bonet - 2025 - Annals of Pure and Applied Logic 176 (4):103538.
- More about the cofinality and the covering of the ideal of strong measure zero sets.Miguel A. Cardona & Diego A. Mejía - 2025 - Annals of Pure and Applied Logic 176 (4):103537.
- Generic multiplicative endomorphism of a field.Christian D'Elbée - 2025 - Annals of Pure and Applied Logic 176 (4):103554.
- Peano arithmetic, games and descent recursion.Emanuele Frittaion - 2025 - Annals of Pure and Applied Logic 176 (4):103550.
- The logic of cardinality comparison without the axiom of choice.Matthew Harrison-Trainor & Dhruv Kulshreshtha - 2025 - Annals of Pure and Applied Logic 176 (4):103549.
- Proof-theoretic methods in quantifier-free definability.Zoltan A. Kocsis - 2025 - Annals of Pure and Applied Logic 176 (4):103555.
- Ordered transexponential fields.Lothar Sebastian Krapp & Salma Kuhlmann - 2025 - Annals of Pure and Applied Logic 176 (4):103541.
- Tame topology in Hensel minimal structures.Krzysztof Jan Nowak - 2025 - Annals of Pure and Applied Logic 176 (4):103540.
- Positive definability patterns.Ori Segel - 2025 - Annals of Pure and Applied Logic 176 (4):103539.
- Modal logics over lattices.Xiaoyang Wang & Yanjing Wang - 2025 - Annals of Pure and Applied Logic 176 (4):103553.
- Strong standard completeness theorems for S5-modal Łukasiewicz logics.Diego Castaño, José Patricio Díaz Varela & Gabriel Savoy - 2025 - Annals of Pure and Applied Logic 176 (3):103529.
- Semiconic idempotent logic II: Beth definability and deductive interpolation.Wesley Fussner & Nikolaos Galatos - 2025 - Annals of Pure and Applied Logic 176 (3):103528.
- Universal proof theory: Feasible admissibility in intuitionistic modal logics.Amirhossein Akbar Tabatabai & Raheleh Jalali - 2025 - Annals of Pure and Applied Logic 176 (2):103526.
- Some properties of precompletely and positively numbered sets.Marat Faizrahmanov - 2025 - Annals of Pure and Applied Logic 176 (2):103523.
- Bi-colored expansions of geometric theories.S. Jalili, M. Pourmahdian & M. Khani - 2025 - Annals of Pure and Applied Logic 176 (2):103525.
- Dividing and forking in random hypergraphs.Hirotaka Kikyo & Akito Tsuboi - 2025 - Annals of Pure and Applied Logic 176 (2):103521.
- Equiconsistency of the Minimalist Foundation with its classical version.Maria Emilia Maietti & Pietro Sabelli - 2025 - Annals of Pure and Applied Logic 176 (2):103524.
- Strong reducibilities and set theory.Noah Schweber - 2025 - Annals of Pure and Applied Logic 176 (2):103522.
- Saturation properties for compositional truth with propositional correctness.Bartosz Wcisło - 2025 - Annals of Pure and Applied Logic 176 (2):103512.
- Groups definable in Presburger arithmetic.Juan Pablo Acosta - 2025 - Annals of Pure and Applied Logic 176 (1):103507.
- Computably and punctually universal spaces.Ramil Bagaviev, Ilnur I. Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G. Melnikov & Keng Meng Ng - 2025 - Annals of Pure and Applied Logic 176 (1):103491.
- Foundations of iterated star maps and their use in combinatorics.Mauro Di Nasso & Renling Jin - 2025 - Annals of Pure and Applied Logic 176 (1):103511.
- Unification types and union splittings in intermediate logics.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2025 - Annals of Pure and Applied Logic 176 (1):103508.
- A complete axiomatization of infinitary first-order intuitionistic logic over L κ +, κ.Christian Espíndola - 2025 - Annals of Pure and Applied Logic 176 (1):103506.
- Concerning Keisler measures over ultraproducts.Kyle Gannon - 2025 - Annals of Pure and Applied Logic 176 (1):103492.
- Club stationary reflection and other combinatorial principles at ℵ+2.Thomas Gilton & Šárka Stejskalová - 2025 - Annals of Pure and Applied Logic 176 (1):103489.
- Elimination of quantifiers for a theory of real closed rings.Jorge I. Guier - 2025 - Annals of Pure and Applied Logic 176 (1):103494.
- Theories of Frege structure equivalent to Feferman's system T 0.Daichi Hayashi - 2025 - Annals of Pure and Applied Logic 176 (1):103510.
- μ-clubs of P(λ): Paradise in heaven.Pierre Matet - 2025 - Annals of Pure and Applied Logic 176 (1):103497.
- On the logical and computational properties of the Vitali covering theorem.Dag Normann & Sam Sanders - 2025 - Annals of Pure and Applied Logic 176 (1):103505.
- First-order reasoning and efficient semi-algebraic proofs.Fedor Part, Neil Thapen & Iddo Tzameret - 2025 - Annals of Pure and Applied Logic 176 (1):103496.
- Universal proof theory: Semi-analytic rules and Craig interpolation.Amirhossein Akbar Tabatabai & Raheleh Jalali - 2025 - Annals of Pure and Applied Logic 176 (1):103509.
|
|
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6dc498764b-td4v8 uwo