- 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
67 found
- Forcing axioms and the uniformization-property.Stefan Hoffelner - 2024 - Annals of Pure and Applied Logic 175 (10):103466.
- Strong minimal pairs in the enumeration degrees.Josiah Jacobsen-Grocott - 2024 - Annals of Pure and Applied Logic 175 (10):103464.
- Finite undecidability in PAC and PRC fields.Brian Tyrrell - 2024 - Annals of Pure and Applied Logic 175 (10):103465.
- Towards logical foundations for probabilistic computation.Melissa Antonelli, Ugo Dal Lago & Paolo Pistone - 2024 - Annals of Pure and Applied Logic 175 (9):103341.
- Reasoning with belief functions over Belnap–Dunn logic.Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Sajad Nazari - 2024 - Annals of Pure and Applied Logic 175 (9):103338.
- A logico-geometric comparison of coherence for non-additive uncertainty measures.Esther Anna Corsi, Tommaso Flaminio & Hykel Hosni - 2024 - Annals of Pure and Applied Logic 175 (9):103342.
- Probabilistic temporal logic with countably additive semantics.Dragan Doder & Zoran Ognjanović - 2024 - Annals of Pure and Applied Logic 175 (9):103389.
- Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras.Tommaso Flaminio & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (9):103337.
- Probing the quantitative–qualitative divide in probabilistic reasoning.Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski & Milan Mossé - 2024 - Annals of Pure and Applied Logic 175 (9):103339.
- Asymptotic conditional probabilities for binary probability functions.J. B. Paris & A. Vencovská - 2024 - Annals of Pure and Applied Logic 175 (9):103335.
- Probability propagation rules for Aristotelian syllogisms.Niki Pfeifer & Giuseppe Sanfilippo - 2024 - Annals of Pure and Applied Logic 175 (9):103340.
- Causal modeling semantics for counterfactuals with disjunctive antecedents.Giuliano Rosella & Jan Sprenger - 2024 - Annals of Pure and Applied Logic 175 (9):103336.
- Two-cardinal ideal operators and indescribability.Brent Cody & Philip White - 2024 - Annals of Pure and Applied Logic 175 (8):103463.
- Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal.David Fernández-Duque & Andreas Weiermann - 2024 - Annals of Pure and Applied Logic 175 (8):103455.
- The ghosts of forgotten things: A study on size after forgetting.Paolo Liberatore - 2024 - Annals of Pure and Applied Logic 175 (8):103456.
- Approachable free subsets and fine structure derived scales.Dominik Adolf & Omer Ben-Neria - 2024 - Annals of Pure and Applied Logic 175 (7):103428.
- Extreme types and extremal models.Seyed-Mohammad Bagheri - 2024 - Annals of Pure and Applied Logic 175 (7):103451.
- Big Ramsey degrees in ultraproducts of finite structures.Dana Bartošová, Mirna Džamonja, Rehana Patel & Lynn Scow - 2024 - Annals of Pure and Applied Logic 175 (7):103439.
- Vector spaces with a dense-codense generic submodule.Alexander Berenstein, Christian D'Elbée & Evgueni Vassiliev - 2024 - Annals of Pure and Applied Logic 175 (7):103442.
- Continuum many different things: Localisation, anti-localisation and Yorioka ideals.Miguel A. Cardona, Lukas Daniel Klausner & Diego A. Mejía - 2024 - Annals of Pure and Applied Logic 175 (7):103453.
- Profiniteness, monadicity and universal models in modal logic.Matteo De Berardinis & Silvio Ghilardi - 2024 - Annals of Pure and Applied Logic 175 (7):103454.
- Semiconic idempotent logic I: Structure and local deduction theorems.Wesley Fussner & Nikolaos Galatos - 2024 - Annals of Pure and Applied Logic 175 (7):103443.
- Generalized independence.Fernando Hernández-Hernández & Carlos López-Callejas - 2024 - Annals of Pure and Applied Logic 175 (7):103440.
- Admissible extensions of subtheories of second order arithmetic.Gerhard Jäger & Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (7):103425.
- Can you take Komjath's inaccessible away?Hossein Lamei Ramandi & Stevo Todorcevic - 2024 - Annals of Pure and Applied Logic 175 (7):103452.
- Computable Scott sentences and the weak Whitehead problem for finitely presented groups.Gianluca Paolini - 2024 - Annals of Pure and Applied Logic 175 (7):103441.
- A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI.Kentaro Sato - 2024 - Annals of Pure and Applied Logic 175 (7):103422.
- Arboreal categories and equi-resource homomorphism preservation theorems.Samson Abramsky & Luca Reggio - 2024 - Annals of Pure and Applied Logic 175 (6):103423.
- ZF and its interpretations.S. Jockwich Martinez, S. Tarafder & G. Venturi - 2024 - Annals of Pure and Applied Logic 175 (6):103427.
- A good lightface Δ n 1 well-ordering of the reals does not imply the existence of boldface Δ n − 1 1 well-orderings.Vladimir Kanovei & Vassily Lyubetsky - 2024 - Annals of Pure and Applied Logic 175 (6):103426.
- Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field.Dong Quan Ngoc Nguyen - 2024 - Annals of Pure and Applied Logic 175 (6):103438.
- The formal verification of the ctm approach to forcing.Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf & Matías Steinberg - 2024 - Annals of Pure and Applied Logic 175 (5):103413.
- Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension.Aristotelis Panagiotopoulos & Assaf Shani - 2024 - Annals of Pure and Applied Logic 175 (5):103412.
- Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.
- Towards characterizing the >ω2-fickle recursively enumerable Turing degrees.Liling Ko - 2024 - Annals of Pure and Applied Logic 175 (4):103403.
- Sharp Vaught's conjecture for some classes of partial orders.Miloš S. Kurilić - 2024 - Annals of Pure and Applied Logic 175 (4):103411.
- Structural and universal completeness in algebra and logic.Paolo Aglianò & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (3):103391.
- SOP1, SOP2, and antichain tree property.JinHoo Ahn & Joonhee Kim - 2024 - Annals of Pure and Applied Logic 175 (3):103402.
- On categorical structures arising from implicative algebras: From topology to assemblies.Samuele Maschio & Davide Trotta - 2024 - Annals of Pure and Applied Logic 175 (3):103390.
- Constructing the constructible universe constructively.Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (3):103392.
- Pathologies in satisfaction classes.Athar Abdul-Quader & Mateusz Łełyk - 2024 - Annals of Pure and Applied Logic 175 (2):103387.
- Towards a finer classification of strongly minimal sets.John T. Baldwin & Viktor V. Verbovskiy - 2024 - Annals of Pure and Applied Logic 175 (2):103376.
- Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.
- Classification of ℵ0-categorical C-minimal pure C-sets.Françoise Delon & Marie-Hélène Mourgues - 2024 - Annals of Pure and Applied Logic 175 (2):103375.
- On the geometric equivalence of algebras.M. Shahryari - 2024 - Annals of Pure and Applied Logic 175 (2):103386.
- On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.
- The relative strengths of fragments of Martin's axiom.Joan Bagaria - 2024 - Annals of Pure and Applied Logic 175 (1):103330.
- Primitive recursive reverse mathematics.Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu & Alexander Melnikov - 2024 - Annals of Pure and Applied Logic 175 (1):103354.
- Generalized fusible numbers and their ordinals.Alexander I. Bufetov, Gabriel Nivasch & Fedor Pakhomov - 2024 - Annals of Pure and Applied Logic 175 (1):103355.
- On middle box products and paracompact cardinals.David Buhagiar & Mirna Džamonja - 2024 - Annals of Pure and Applied Logic 175 (1):103332.
- HL ideals and Sacks indestructible ultrafilters.David Chodounský, Osvaldo Guzmán & Michael Hrušák - 2024 - Annals of Pure and Applied Logic 175 (1):103326.
- Laver forcing and converging sequences.Alan Dow - 2024 - Annals of Pure and Applied Logic 175 (1):103247.
- Weak saturation properties and side conditions.Monroe Eskew - 2024 - Annals of Pure and Applied Logic 175 (1):103356.
- Mutually embeddable models of ZFC.Monroe Eskew, Sy-David Friedman, Yair Hayut & Farmer Schlutzenberg - 2024 - Annals of Pure and Applied Logic 175 (1):103325.
- Extensions of Solovay's system S without independent sets of axioms.Igor Gorbunov & Dmitry Shkatov - 2024 - Annals of Pure and Applied Logic 175 (1):103360.
- Indestructibility of some compactness principles over models of PFA.Radek Honzik, Chris Lambie-Hanson & Šárka Stejskalová - 2024 - Annals of Pure and Applied Logic 175 (1):103359.
- Large cardinals at the brink.W. Hugh Woodin - 2024 - Annals of Pure and Applied Logic 175 (1):103328.
- Some simple theories from a Boolean algebra point of view.M. Malliaris & S. Shelah - 2024 - Annals of Pure and Applied Logic 175 (1):103345.
- Zero-dimensional σ-homogeneous spaces.Andrea Medini & Zoltán Vidnyánszky - 2024 - Annals of Pure and Applied Logic 175 (1):103331.
- Locally compact, ω1-compact spaces.Peter Nyikos & Lyubomyr Zdomskyy - 2024 - Annals of Pure and Applied Logic 175 (1):103324.
- A formalised theorem in the partition calculus.Lawrence C. Paulson - 2024 - Annals of Pure and Applied Logic 175 (1):103246.
- Boolean valued semantics for infinitary logics.Juan M. Santiago Suárez & Matteo Viale - 2024 - Annals of Pure and Applied Logic 175 (1):103333.
- Some variations on the splitting number.Saharon Shelah & Juris Steprāns - 2024 - Annals of Pure and Applied Logic 175 (1):103321.
- Dense metrizability.Stevo Todorcevic - 2024 - Annals of Pure and Applied Logic 175 (1):103327.
- On countably perfectly meager and countably perfectly null sets.Tomasz Weiss & Piotr Zakrzewski - 2024 - Annals of Pure and Applied Logic 175 (1):103357.
- Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers.Ur Ya'ar - 2024 - Annals of Pure and Applied Logic 175 (1):103358.
- Two chain conditions and their Todorčević's fragments of Martin's Axiom.Teruyuki Yorioka - 2024 - Annals of Pure and Applied Logic 175 (1):103320.
|
|
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-8fb5884b9-k4bxp uwo