Found: 155
Select item for more details and to access through your institution.
Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics.
- Published in:
- Journal of Mathematical Logic, 2024, v. 24, n. 2, p. 1, doi. 10.1142/S0219061323500058
- By:
- Publication type:
- Article
Ramsey's theorem for pairs, collection, and proof size.
- Published in:
- Journal of Mathematical Logic, 2024, v. 24, n. 2, p. 1, doi. 10.1142/S0219061323500071
- By:
- Publication type:
- Article
The Story of Proof: Logic and the History of Mathematics by John Stillwell: Reviewed by Alexi Block Gorman.
- Published in:
- Mathematical Intelligencer, 2024, v. 46, n. 2, p. 202, doi. 10.1007/s00283-023-10311-4
- By:
- Publication type:
- Article
Regressive versions of Hindman's theorem.
- Published in:
- Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 447, doi. 10.1007/s00153-023-00901-6
- By:
- Publication type:
- Article
CONTENTS OF VOLUME 29.
- Published in:
- 2023
- Publication type:
- Table of Contents
Reverse Mathematics: Problems, Reductions, and Proofs.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 4, p. 726, doi. 10.1017/bsl.2023.41
- Publication type:
- Article
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES.
- Published in:
- Journal of Symbolic Logic, 2023, v. 88, n. 4, p. 1367, doi. 10.1017/jsl.2023.39
- By:
- Publication type:
- Article
Structure of semisimple rings in reverse and computable mathematics.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1083, doi. 10.1007/s00153-023-00885-3
- By:
- Publication type:
- Article
On Wilfred R. Bion's Way of Being: Linking Truth, Thought, and Nostalgia.
- Published in:
- Journal of Analytical Psychology, 2023, v. 68, n. 4, p. 778, doi. 10.1111/1468-5922.12938
- By:
- Publication type:
- Article
Variations of Statement, Variations of Strength. The Case of the Rival–Sands Theorems.
- Published in:
- Journal of Mathematical Sciences, 2023, v. 275, n. 1, p. 1, doi. 10.1007/s10958-023-06655-z
- By:
- Publication type:
- Article
Borel combinatorics fail in HYP.
- Published in:
- Journal of Mathematical Logic, 2023, v. 23, n. 2, p. 1, doi. 10.1142/S0219061322500234
- By:
- Publication type:
- Article
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.
- Published in:
- Mathematical Logic Quarterly, 2023, v. 69, n. 3, p. 370, doi. 10.1002/malq.202200031
- By:
- Publication type:
- Article
A few more dissimilarities between second-order arithmetic and set theory.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 147, doi. 10.1007/s00153-022-00829-3
- By:
- Publication type:
- Article
Reduction games, provability and compactness.
- Published in:
- Journal of Mathematical Logic, 2022, v. 22, n. 3, p. 1, doi. 10.1142/S021906132250009X
- By:
- Publication type:
- Article
JSL volume 87 issue 4 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2022, v. 87, n. 4, p. b1, doi. 10.1017/jsl.2022.73
- Publication type:
- Article
A Comparative Analysis of Statistical Models and Mathematics in Reverse Osmosis Evaluation Processes as a Search Path to Achieve Better Efficiency.
- Published in:
- Water (20734441), 2022, v. 14, n. 16, p. 2485, doi. 10.3390/w14162485
- By:
- Publication type:
- Article
Reverse mathematics and semisimple rings.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 769, doi. 10.1007/s00153-021-00812-4
- By:
- Publication type:
- Article
Hindman's theorem for sums along the full binary tree, Σ20-induction and the Pigeonhole principle for trees.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 827, doi. 10.1007/s00153-021-00814-2
- By:
- Publication type:
- Article
INSTANCE REDUCIBILITY AND WEIHRAUCH DEGREES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 3, p. 1, doi. 10.46298/LMCS-18(3:20)2022
- By:
- Publication type:
- Article
2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '21 Adam Mickiewicz University Poznań, Poland July 19–24, 2021.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 268, doi. 10.1017/bsl.2022.17
- Publication type:
- Article
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.
- Published in:
- Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 399, doi. 10.1007/s00153-021-00795-2
- By:
- Publication type:
- Article
Cousin's lemma in second-order arithmetic.
- Published in:
- Proceedings of the American Mathematical Society, Series B, 2022, v. 9, p. 111, doi. 10.1090/bproc/111
- By:
- Publication type:
- Article
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 1, p. 133, doi. 10.1017/bsl.2021.70
- By:
- Publication type:
- Article
JSL volume 87 issue 1 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2022, v. 87, n. 1, p. b1, doi. 10.1017/jsl.2022.20
- Publication type:
- Article
JSL volume 87 issue 1 Cover and Front matter.
- Published in:
- Journal of Symbolic Logic, 2022, v. 87, n. 1, p. f1, doi. 10.1017/jsl.2022.19
- Publication type:
- Article
JSL volume 86 issue 4 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2021, v. 86, n. 4, p. b1, doi. 10.1017/jsl.2021.105
- Publication type:
- Article
Effective aspects of Jacobson radicals of rings.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 4, p. 489, doi. 10.1002/malq.202100002
- Publication type:
- Article
Jordan Generalized (μ,ρ)-Reverse Derivation from Γ-semiring S into ΓS-modules.
- Published in:
- Iraqi Journal of Science, 2021, v. 62, n. 8, p. 2702, doi. 10.24996/ijs.2021.62.8.23
- By:
- Publication type:
- Article
FOUNDATIONS OF ONLINE STRUCTURE THEORY II: THE OPERATOR APPROACH.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:6)2021
- By:
- Publication type:
- Article
König's lemma, weak König's lemma, and the decidable fan theorem.
- Published in:
- Mathematical Logic Quarterly, 2021, v. 67, n. 2, p. 241, doi. 10.1002/malq.202000020
- Publication type:
- Article
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE.
- Published in:
- Journal of Symbolic Logic, 2021, v. 86, n. 1, p. 316, doi. 10.1017/jsl.2021.10
- By:
- Publication type:
- Article
Ring structure theorems and arithmetic comprehension.
- Published in:
- Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 145, doi. 10.1007/s00153-020-00738-3
- By:
- Publication type:
- Article
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 1, p. 297, doi. 10.1093/logcom/exaa080
- By:
- Publication type:
- Article
Constructing sequences one step at a time.
- Published in:
- Journal of Mathematical Logic, 2020, v. 20, n. 3, p. N.PAG, doi. 10.1142/S0219061320500178
- By:
- Publication type:
- Article
Open sets in computability theory and reverse mathematics.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1639, doi. 10.1093/logcom/exaa049
- By:
- Publication type:
- Article
Computable aspects of the Bachmann–Howard principle.
- Published in:
- Journal of Mathematical Logic, 2020, v. 20, n. 2, p. N.PAG, doi. 10.1142/S0219061320500063
- By:
- Publication type:
- Article
JSL volume 85 issue 4 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 4, p. b1, doi. 10.1017/jsl.2021.27
- Publication type:
- Article
What is effective transfinite recursion in reverse mathematics?
- Published in:
- Mathematical Logic Quarterly, 2020, v. 66, n. 4, p. 479, doi. 10.1002/malq.202000042
- By:
- Publication type:
- Article
A Jordan Higher Reverse Left (resp. right) Centralizer on Prime Г-Rings.
- Published in:
- Iraqi Journal of Science, 2020, v. 61, n. 9, p. 2341, doi. 10.24996/ijs.2020.61.9.21
- By:
- Publication type:
- Article
SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 3, p. 1006, doi. 10.1017/jsl.2020.12
- By:
- Publication type:
- Article
Finite sets and infinite sets in weak intuitionistic arithmetic.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 5/6, p. 607, doi. 10.1007/s00153-019-00704-8
- By:
- Publication type:
- Article
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 2, p. 709, doi. 10.1017/jsl.2020.24
- By:
- Publication type:
- Article
Dependent choice as a termination principle.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 503, doi. 10.1007/s00153-019-00706-6
- By:
- Publication type:
- Article
THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 166, doi. 10.1017/jsl.2019.64
- By:
- Publication type:
- Article
RANDOMNESS NOTIONS AND REVERSE MATHEMATICS.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 271, doi. 10.1017/jsl.2019.50
- By:
- Publication type:
- Article
PREDICATIVE COLLAPSING PRINCIPLES.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 511, doi. 10.1017/jsl.2019.83
- By:
- Publication type:
- Article
Chapter One Introduction.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 1
- By:
- Publication type:
- Article
Reverse formalism 16.
- Published in:
- Synthese, 2020, v. 197, n. 2, p. 497, doi. 10.1007/s11229-017-1322-2
- By:
- Publication type:
- Article
The unreasonable effectiveness of Nonstandard Analysis.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 1, p. 459, doi. 10.1093/logcom/exaa019
- By:
- Publication type:
- Article