This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Most recently added entries found
Search inside:
(import / add options)   Sort by:
1 — 50 / 161
  1. added 2015-08-28
    Barbara F. Csima & Carolyn Knoll (forthcoming). Measuring Complexities of Classes of Structures. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. added 2015-08-28
    Toshio Suzuki & Yoshinao Niida (forthcoming). Equilibrium Points of an AND–OR Tree: Under Constraints on Probability. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. added 2015-08-28
    Stefano Berardi & Silvia Steila (forthcoming). An Intuitionistic Version of Ramsey's Theorem and its Use in Program Termination. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. added 2015-08-28
    Yong Cheng, Sy-David Friedman & Joel David Hamkins (forthcoming). Large Cardinals Need Not Be Large in HOD. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. added 2015-08-28
    David Chodounský & Jindřich Zapletal (forthcoming). Why Y-C.C. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. added 2015-08-28
    Michael Beeson (forthcoming). A Constructive Version of Tarski's Geometry. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. added 2015-08-28
    Spencer Unger (forthcoming). Fragility and Indestructibility II. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. added 2015-08-28
    Diego A. Mejía (forthcoming). Template Iterations with Non-Definable Ccc Forcing Notions. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. added 2015-08-28
    Ludovic Patey (forthcoming). Degrees Bounding Principles and Universal Instances in Reverse Mathematics. Annals of Pure and Applied Logic.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. added 2015-08-28
    Tetsuya Ishiu (2015). The Comparison of Various Club Guessing Principles. Annals of Pure and Applied Logic 166 (5):583-600.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. added 2015-08-28
    Uri Andrews, Isaac Goldbring & H. Jerome Keisler (2015). Definable Closure in Randomizations. Annals of Pure and Applied Logic 166 (3):325-341.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. added 2015-08-28
    Sebastian Eberhard & Stefan Hetzl (2015). Inductive Theorem Proving Based on Tree Grammars. Annals of Pure and Applied Logic 166 (6):665-700.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. added 2015-08-28
    Tamar Lando (2015). First Order S4 and its Measure-Theoretic Semantics. Annals of Pure and Applied Logic 166 (2):187-218.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. added 2015-08-28
    Pierre Matet (2015). Guessing More Sets. Annals of Pure and Applied Logic 166 (10):953-990.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. added 2015-08-28
    Sy-David Friedman & Liuzhen Wu (2015). Definable Normal Measures. Annals of Pure and Applied Logic 166 (1):46-60.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. added 2015-08-28
    Alexei Miasnikov & Dmytro Savchuk (2015). An Example of an Automatic Graph of Intermediate Growth. Annals of Pure and Applied Logic 166 (10):1037-1048.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. added 2015-08-28
    Rupert Hölzl & Paul Shafer (2015). Universality, Optimality, and Randomness Deficiency. Annals of Pure and Applied Logic 166 (10):1049-1069.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. added 2015-08-28
    Kentaro Sato (2015). A New Model Construction by Making a Detour Via Intuitionistic Theories II: Interpretability Lower Bound of Feferman's Explicit Mathematics T 0. Annals of Pure and Applied Logic 166 (7-8):800-835.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. added 2015-08-28
    Rod Downey, Alexander G. Melnikov & Keng Meng Ng (2015). On Δ 2 0 -Categoricity of Equivalence Relations. Annals of Pure and Applied Logic 166 (9):851-880.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. added 2015-08-28
    Amit Kuber (2015). Grothendieck Rings of Theories of Modules. Annals of Pure and Applied Logic 166 (3):369-407.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. added 2015-08-28
    Fernando Ferreira & Jaime Gaspar (2015). Nonstandardness and the Bounded Functional Interpretation. Annals of Pure and Applied Logic 166 (6):701-712.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. added 2015-08-28
    Gunter Fuchs, Joel David Hamkins & Jonas Reitz (2015). Set-Theoretic Geology. Annals of Pure and Applied Logic 166 (4):464-501.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. added 2015-08-28
    Joel Nagloo (2015). Geometric Triviality of the Strongly Minimal Second Painlevé Equations. Annals of Pure and Applied Logic 166 (3):358-368.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. added 2015-08-28
    Ján Pich (2015). Circuit Lower Bounds in Bounded Arithmetics. Annals of Pure and Applied Logic 166 (1):29-45.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. added 2015-08-28
    Annalisa Conversano & Anand Pillay (2015). Connected Components of Definable Groups, and o-Minimality II. Annals of Pure and Applied Logic 166 (7-8):836-849.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. added 2015-08-28
    Emil Jeřábek (2015). Rules with Parameters in Modal Logic I. Annals of Pure and Applied Logic 166 (9):881-933.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. added 2015-08-28
    Leszek Aleksander Kołodziejczyk & Keita Yokoyama (2015). Categorical Characterizations of the Natural Numbers Require Primitive Recursion. Annals of Pure and Applied Logic 166 (2):219-231.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. added 2015-08-28
    David R. Belanger (2015). WKL 0 and Induction Principles in Model Theory. Annals of Pure and Applied Logic 166 (7-8):767-799.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. added 2015-08-28
    Sy-David Friedman & Philipp Lücke (2015). Large Cardinals and Definable Well-Orders, Without the GCH. Annals of Pure and Applied Logic 166 (3):306-324.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. added 2015-08-28
    Ningyuan Yao & Dongyang Long (2015). Topological Dynamics for Groups Definable in Real Closed Field. Annals of Pure and Applied Logic 166 (3):261-273.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. added 2015-08-28
    Rodney G. Downey, Guohua Wu & Yue Yang (2015). The Members of Thin and Minimal Π 1 0 Classes, Their Ranks and Turing Degrees. Annals of Pure and Applied Logic 166 (7-8):755-766.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. added 2015-08-28
    Antti Kuusisto (2015). Second-Order Propositional Modal Logic and Monadic Alternation Hierarchies. Annals of Pure and Applied Logic 166 (1):1-28.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. added 2015-08-28
    Samuele Maschio & Thomas Streicher (2015). Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes. Annals of Pure and Applied Logic 166 (6):729-739.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. added 2015-08-28
    Kentaro Fujimoto (2015). Notes on Some Second-Order Systems of Iterated Inductive Definitions and Π 1 1 -Comprehensions and Relevant Subsystems of Set Theory. [REVIEW] Annals of Pure and Applied Logic 166 (4):409-463.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. added 2015-08-28
    Trevor M. Wilson (2015). The Envelope of a Pointclass Under a Local Determinacy Hypothesis. Annals of Pure and Applied Logic 166 (10):991-1018.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. added 2015-08-28
    William Chen (2015). Tight Stationarity and Tree-Like Scales. Annals of Pure and Applied Logic 166 (10):1019-1036.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. added 2015-08-28
    Miika Hannula (2015). Axiomatizing First-Order Consequences in Independence Logic. Annals of Pure and Applied Logic 166 (1):61-91.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. added 2015-08-28
    Kentaro Sato & Rico Zumbrunnen (2015). A New Model Construction by Making a Detour Via Intuitionistic Theories I: Operational Set Theory Without Choice is Π 1 -Equivalent to KP. Annals of Pure and Applied Logic 166 (2):121-186.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. added 2015-08-28
    Krzysztof Krupiński (2015). Superrosy Fields and Valuations. Annals of Pure and Applied Logic 166 (3):342-357.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. added 2015-08-28
    David Asperó, Peter Holy & Philipp Lücke (2015). Forcing Lightface Definable Well-Orders Without the GCH. Annals of Pure and Applied Logic 166 (5):553-582.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. added 2015-08-28
    Stephen G. Simpson & Frank Stephan (2015). Cone Avoidance and Randomness Preservation. Annals of Pure and Applied Logic 166 (6):713-728.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. added 2015-08-28
    Ivan Tomašić (2015). Galois Stratification and ACFA. Annals of Pure and Applied Logic 166 (5):639-663.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. added 2015-08-28
    Melvin Fitting & Roman Kuznets (2015). Modal Interpolation Via Nested Sequents. Annals of Pure and Applied Logic 166 (3):274-305.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. added 2015-08-28
    Sy-David Friedman & Radek Honzik (2015). The Tree Property at the ℵ 2 N 's and the Failure of SCH at ℵ Ω. Annals of Pure and Applied Logic 166 (4):526-552.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. added 2015-08-28
    Zachiri McKenzie (2015). Automorphisms of Models of Set Theory and Extensions of NFU. Annals of Pure and Applied Logic 166 (5):601-638.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. added 2015-08-28
    Vincent Guingona & Cameron Donnay Hill (2015). On a Common Generalization of Shelah's 2-Rank, Dp-Rank, and o-Minimal Dimension. Annals of Pure and Applied Logic 166 (4):502-525.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. added 2015-08-28
    Brent Cody & Victoria Gitman (2015). Easton's Theorem for Ramsey and Strongly Ramsey Cardinals. Annals of Pure and Applied Logic 166 (9):934-952.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. added 2015-08-28
    Spencer Unger (2014). A Model of Cummings and Foreman Revisited. Annals of Pure and Applied Logic 165 (12):1813-1831.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. added 2015-08-28
    Nick Bezhanishvili & Silvio Ghilardi (2014). The Bounded Proof Property Via Step Algebras and Step Frames. Annals of Pure and Applied Logic 165 (12):1832-1863.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. added 2015-08-28
    Michal Doucha (2014). Scott Rank of Polish Metric Spaces. Annals of Pure and Applied Logic 165 (12):1919-1929.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 161