Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 50 results in range #1 to #50.

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

  1. 2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15–18, 2024: Label: en
  2. 2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024: Label: en
  3. 2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 2023: Label: en
  4. SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9–13, 2023: Label: en
  5. 2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 2023: Label: en
  6. POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND: Label: en
  7. ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS: Label: en
  8. A WALK WITH GOODSTEIN: Label: en
  9. D. D. Dzhafarov <scp>and</scp> C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.: Label: en
  10. A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF: Label: en
  11. ASYMMETRIC CUT AND CHOOSE GAMES: Label: en
  12. INTERLEAVING LOGIC AND COUNTING: Label: en
  13. TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES: Label: en
  14. Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook. Edited by Bruce M. Kapron, ACM Books, vol. 43. Association for Computing Machinery, New York, xxvi + 398 pp.—therein: - Michelle Waitzman. Stephen Cook: Complexity’: Label: en
  15. THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26–31, 2022: Label: en
  16. 2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5–6, 2023: Label: en
  17. 2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 2023: Label: en
  18. 2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6–7, 2023: Label: en
  19. Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.: Label: en
  20. UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC: Label: en
  21. COMPUTABLY COMPACT METRIC SPACES: Label: en
  22. SATURATED MODELS FOR THE WORKING MODEL THEORIST: Label: en
  23. INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES: Label: en
  24. John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.: Label: en
  25. A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES: Label: en
  26. MENAS’S CONJECTURE REVISITED: Label: en
  27. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES: Label: en
  28. ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION: Label: en
  29. CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES: Label: en
  30. THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS): Label: en
  31. LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION: Label: en
  32. WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?: Label: en
  33. DOMINATION AND REGULARITY: Label: en
  34. 2020 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, California, USA March 25–28, 2020: Label: en
  35. A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT: Label: en
  36. 2010–2011 Winter Meeting of the Association for Symbolic Logic: Label: en
  37. 2011 Spring Meeting of the Association for Symbolic Logic: Label: en
  38. Second Order Logic or Set Theory?: Label: en
  39. In Praise of Replacement: Label: en
  40. The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small: Label: en
  41. 2016 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’16 Leeds, UK July 31–August 6, 2016: Label: en
  42. 2016 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Hilton Chicago Palmer House Hotel Chicago, Illinois March 2–5, 2016: Label: en
  43. Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.: Label: en
  44. ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION: Label: en
  45. FORCING WITH BUSHY TREES: Label: en
  46. SOME DEFINABLE GALOIS THEORY AND EXAMPLES: Label: en
  47. 2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015: Label: en
  48. IN MEMORIAM: BARRY COOPER 1943–2015: Label: en
  49. Vladimir Kanovei, Marcin Sabok, and Jindřich Zapletal, Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013, viii + 269 pp.: Label: en
  50. Valerio Capraro and Martino Lupini, Introduction to Sofic and Hyperlinear Groups and Connes’ Embedding Conjecture, Lecture Notes in Mathematics, vol. 2136, Springer International Publishing, Switzerland, 2015, viii + 151 pp.: Label: en

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q2795200"
Powered by MediaWiki