Year:

  1.  7
    Denseness Results in the Theory of Algebraic Fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  5
    Banach-Stone-Like Results for Combinatorial Banach Spaces.C. Brech & C. Piña - 2021 - Annals of Pure and Applied Logic 172 (8):102989.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  6
    Cardinality of Wellordered Disjoint Unions of Quotients of Smooth Equivalence Relations.William Chan & Stephen Jackson - 2021 - Annals of Pure and Applied Logic 172 (8):102988.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  6
    On the Structure of Borel Ideals in-Between the Ideals ED and Fin ⊗ Fin in the Katětov Order.Pratulananda Das, Rafał Filipów, Szymon Gła̧b & Jacek Tryba - 2021 - Annals of Pure and Applied Logic 172 (8):102976.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Fundamental Group in o-Minimal Structures with Definable Skolem Functions.Bruno Dinis, Mário J. Edmundo & Marcello Mamino - 2021 - Annals of Pure and Applied Logic 172 (8):102975.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  6
    Punctual Definability on Structures.Iskander Kalimullin, Alexander Melnikov & Antonio Montalban - 2021 - Annals of Pure and Applied Logic 172 (8):102987.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Parametrized Ramsey Theory of Infinite Block Sequences of Vectors.Jamal K. Kawach - 2021 - Annals of Pure and Applied Logic 172 (8):102984.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  5
    Beth Definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
    The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic ⊨Δ associated with an infinitary variety Δ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of ⊨Δ, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic ⊢Δ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence associated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  3
    On the Relationship Between Mutual and Tight Stationarity.William Chen-Mertens & Itay Neeman - 2021 - Annals of Pure and Applied Logic 172 (7):102963.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  4
    Forcing a □(Κ)-Like Principle to Hold at a Weakly Compact Cardinal.Brent Cody, Victoria Gitman & Chris Lambie-Hanson - 2021 - Annals of Pure and Applied Logic 172 (7):102960.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    Simple-Like Independence Relations in Abstract Elementary Classes.Rami Grossberg & Marcos Mazari-Armida - 2021 - Annals of Pure and Applied Logic 172 (7):102971.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  10
    Proof Complexity of Substructural Logics.Raheleh Jalali - 2021 - Annals of Pure and Applied Logic 172 (7):102972.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    Computational Complexity for Bounded Distributive Lattices with Negation.Dmitry Shkatov & C. J. Van Alten - 2021 - Annals of Pure and Applied Logic 172 (7):102962.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  9
    Easton's Theorem for the Tree Property Below ℵ.Šárka Stejskalová - 2021 - Annals of Pure and Applied Logic 172 (7):102974.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  2
    Extending Hrushovski's Groupoid-Cover Correspondence Using Simplicial Groupoids.Paul Wang - 2021 - Annals of Pure and Applied Logic 172 (7):102970.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  2
    Finiteness Classes Arising From Ramsey-Theoretic Statements in Set Theory Without Choice.Joshua Brot, Mengyang Cao & David Fernández-Bretón - 2021 - Annals of Pure and Applied Logic 172 (6):102961.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  3
    Non-Forking and Preservation of NIP and Dp-Rank.Pedro Andrés Estevan & Itay Kaplan - 2021 - Annals of Pure and Applied Logic 172 (6):102946.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Infinitesimal Analysis Without the Axiom of Choice.Karel Hrbacek & Mikhail G. Katz - 2021 - Annals of Pure and Applied Logic 172 (6):102959.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  4
    Dp-Finite Fields I(B): Positive Characteristic.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102949.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  8
    Dp-Finite Fields I(A): The Infinitesimals.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102947.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  7
    The Differential of Probabilistic Entailment.Daniele Mundici - 2021 - Annals of Pure and Applied Logic 172 (6):102945.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  6
    The Hart-Shelah Example, in Stronger Logics.Saharon Shelah & Andrés Villaveces - 2021 - Annals of Pure and Applied Logic 172 (6):102958.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  4
    Determinacy From Strong Compactness of Ω1.Nam Trang & Trevor M. Wilson - 2021 - Annals of Pure and Applied Logic 172 (6):102944.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  4
    Local Collection and End-Extensions of Models of Compositional Truth.Mateusz Łełyk & Bartosz Wcisło - 2021 - Annals of Pure and Applied Logic 172 (6):102941.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    A Microscopic Approach to Souslin-Tree Construction, Part II.Ari Meir Brodsky & Assaf Rinot - 2021 - Annals of Pure and Applied Logic 172 (5):102904.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  3
    Indestructibility of Ideals and MAD Families.David Chodounský & Osvaldo Guzmán - 2021 - Annals of Pure and Applied Logic 172 (5):102905.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  4
    An Efimov Space with Character Less Than S.Alan Dow - 2021 - Annals of Pure and Applied Logic 172 (5):102906.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    Two Applications of Topology to Model Theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102907.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  3
    Corson Reflections.Ilijas Farah & Menachem Magidor - 2021 - Annals of Pure and Applied Logic 172 (5):102908.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  5
    Definable MAD Families and Forcing Axioms.Vera Fischer, David Schrittesser & Thilo Weinert - 2021 - Annals of Pure and Applied Logic 172 (5):102909.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Convergent Sequences in Topological Groups.Michael Hrušák & Alexander Shibakov - 2021 - Annals of Pure and Applied Logic 172 (5):102910.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    Separating Families and Order Dimension of Turing Degrees.Ashutosh Kumar & Dilip Raghavan - 2021 - Annals of Pure and Applied Logic 172 (5):102911.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  4
    Some Remarks on the Open Coloring Axiom.Justin Tatch Moore - 2021 - Annals of Pure and Applied Logic 172 (5):102912.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  4
    The Borel Complexity of von Neumann Equivalence.Inessa Moroz & Asger Törnquist - 2021 - Annals of Pure and Applied Logic 172 (5):102913.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  5
    Introduction.Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102902.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    Long Games and Σ-Projective Sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  4
    Sets in Prikry and Magidor Generic Extensions.Tom Benhamou & Moti Gitik - 2021 - Annals of Pure and Applied Logic 172 (4):102926.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  9
    Preserving Levels of Projective Determinacy by Tree Forcings.Fabiana Castiblanco & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102918.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    A Parametrised Functional Interpretation of Heyting Arithmetic.Bruno Dinis & Paulo Oliva - 2021 - Annals of Pure and Applied Logic 172 (4):102940.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  4
    Continuous Extension of Maps Between Sequential Cascades.Szymon Dolecki & Andrzej Starosolski - 2021 - Annals of Pure and Applied Logic 172 (4):102928.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  5
    The Full Basis Theorem Does Not Imply Analytic Wellordering.Vladimir Kanovei & Vassily Lyubetsky - 2021 - Annals of Pure and Applied Logic 172 (4):102929.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    On the Structure of Certain Valued Fields.Junguk Lee & Wan Lee - 2021 - Annals of Pure and Applied Logic 172 (4):102927.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Typical Forcings, NP Search Problems and an Extension of a Theorem of Riis.Moritz Müller - 2021 - Annals of Pure and Applied Logic 172 (4):102930.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  6
    Quantum Set Theory: Transfer Principle and De Morgan's Laws.Masanao Ozawa - 2021 - Annals of Pure and Applied Logic 172 (4):102938.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  3
    A Short Note on Groups in Separably Closed Valued Fields.Silvain Rideau-Kikuchi - 2021 - Annals of Pure and Applied Logic 172 (4):102943.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  3
    More on HOD-Supercompactness.Arthur W. Apter, Shoshana Friedman & Gunter Fuchs - 2021 - Annals of Pure and Applied Logic 172 (3):102901.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  7
    Lindström Theorems in Graded Model Theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  8
    Intuitionistic Fixed Point Logic.Ulrich Berger & Hideki Tsuiki - 2021 - Annals of Pure and Applied Logic 172 (3):102903.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  7
    Completion of Choice.Vasco Brattka & Guido Gherardi - 2021 - Annals of Pure and Applied Logic 172 (3):102914.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  4
    Superstability, Noetherian Rings and Pure-Semisimple Rings.Marcos Mazari-Armida - 2021 - Annals of Pure and Applied Logic 172 (3):102917.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  51.  5
    A Topological Zero-One Law and Elementary Equivalence of Finitely Generated Groups.D. Osin - 2021 - Annals of Pure and Applied Logic 172 (3):102915.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  52.  7
    Ramsey Transfer to Semi-Retractions.Lynn Scow - 2021 - Annals of Pure and Applied Logic 172 (3):102891.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  53.  5
    Unbounded Towers and Products.Piotr Szewczak & Magdalena Włudecka - 2021 - Annals of Pure and Applied Logic 172 (3):102900.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  54.  10
    Algebraic Combinatorics in Bounded Induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  55.  5
    Derivatives of Normal Functions in Reverse Mathematics.Anton Freund & Michael Rathjen - 2021 - Annals of Pure and Applied Logic 172 (2):102890.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  56.  2
    Stationary and Closed Rainbow Subsets.Shimon Garti & Jing Zhang - 2021 - Annals of Pure and Applied Logic 172 (2):102887.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  57.  8
    Computable Irrational Numbers with Representations of Surprising Complexity.Ivan Georgiev, Lars Kristiansen & Frank Stephan - 2021 - Annals of Pure and Applied Logic 172 (2):102893.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  58.  3
    Preservation Theorems for Namba Forcing.Osvaldo Guzmán, Michael Hrušák & Jindřich Zapletal - 2021 - Annals of Pure and Applied Logic 172 (2):102869.
  59.  3
    Small Models, Large Cardinals, and Induced Ideals.Peter Holy & Philipp Lücke - 2021 - Annals of Pure and Applied Logic 172 (2):102889.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  60.  2
    First-Order Model Theory of Free Projective Planes.Tapani Hyttinen & Gianluca Paolini - 2021 - Annals of Pure and Applied Logic 172 (2):102888.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  61.  10
    Towards the Entropy-Limit Conjecture.Jürgen Landes, Soroush Rafiee Rad & Jon Williamson - 2021 - Annals of Pure and Applied Logic 172 (2):102870.
    The maximum entropy principle is widely used to determine non-committal probabilities on a finite domain, subject to a set of constraints, but its application to continuous domains is notoriously problematic. This paper concerns an intermediate case, where the domain is a first-order predicate language. Two strategies have been put forward for applying the maximum entropy principle on such a domain: applying it to finite sublanguages and taking the pointwise limit of the resulting probabilities as the size n of the sublanguage (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  62.  7
    When P(Λ) (Vaguely) Resembles Κ.Pierre Matet - 2021 - Annals of Pure and Applied Logic 172 (2):102874.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  63.  5
    The Canonical Pairs of Bounded Depth Frege Systems.Pavel Pudlák - 2021 - Annals of Pure and Applied Logic 172 (2):102892.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  64.  5
    On the Number of Independent Orders.Kota Takeuchi & Akito Tsuboi - 2021 - Annals of Pure and Applied Logic 172 (2):102886.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  65.  1
    Ax-Schanuel and Strong Minimality for the J-Function.Vahagn Aslanyan - 2021 - Annals of Pure and Applied Logic 172 (1):102871.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  66.  8
    Complexity of Syntactical Tree Fragments of Independence-Friendly Logic.Fausto Barbero - 2021 - Annals of Pure and Applied Logic 172 (1):102859.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  67.  3
    Open Core and Small Groups in Dense Pairs of Topological Structures.Elías Baro & Amador Martin-Pizarro - 2021 - Annals of Pure and Applied Logic 172 (1):102858.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  68.  10
    Filter-Linkedness and its Effect on Preservation of Cardinal Characteristics.Jörg Brendle, Miguel A. Cardona & Diego A. Mejía - 2021 - Annals of Pure and Applied Logic 172 (1):102856.
    We introduce the property “F-linked” of subsets of posets for a given free filter F on the natural numbers, and define the properties “μ-F-linked” and “θ-F-Knaster” for posets in a natural way. We show that θ-F-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct θ-Fr-Knaster posets (where Fr is the Frechet ideal) via matrix iterations of <θ-ultrafilter-linked posets (restricted to some level of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  69.  4
    Tukey Order, Calibres and the Rationals.Paul Gartside & Ana Mamatelashvili - 2021 - Annals of Pure and Applied Logic 172 (1):102873.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  70.  5
    The Tree Property at Double Successors of Singular Cardinals of Uncountable Cofinality with Infinite Gaps.Mohammad Golshani & Alejandro Poveda - 2021 - Annals of Pure and Applied Logic 172 (1):102853.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  71.  7
    Finitely Generated Groups Are Universal Among Finitely Generated Structures.Matthew Harrison-Trainor & Meng-Che “Turbo” Ho - 2021 - Annals of Pure and Applied Logic 172 (1):102855.
    Universality has been an important concept in computable structure theory. A class C of structures is universal if, informally, for any structure of any kind there is a structure in C with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal. This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope of being (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  72.  6
    Computable Analogs of Cardinal Characteristics: Prediction and Rearrangement.Iván Ongay-Valverde & Paul Tveite - 2021 - Annals of Pure and Applied Logic 172 (1):102872.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  73.  12
    Probabilistic Characterisation of Models of First-Order Theories.Soroush Rafiee Rad - 2021 - Annals of Pure and Applied Logic 172 (1):102875.
    We study probabilistic characterisation of a random model of a finite set of first order axioms. Given a set of first order axioms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  74.  11
    |˜-Divisibility of Ultrafilters.Boris Šobot - 2021 - Annals of Pure and Applied Logic 172 (1):102857.
    We further investigate a divisibility relation on the set of BN ultrafilters on the set of natural numbers. We single out prime ultrafilters (divisible only by 1 and themselves) and establish a hierarchy in which a position of every ultrafilter depends on the set of prime ultrafilters it is divisible by. We also construct ultrafilters with many immediate successors in this hierarchy and find positions of products of ultrafilters.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  75. Nothing found.
 Previous issues
  
Next issues