- European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984.P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates - 1986 - Journal of Symbolic Logic 51 (2):480-502.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Factorization of polynomials and °1 induction.S. G. Simpson - 1986 - Annals of Pure and Applied Logic 31:289.details
|
|
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985.K. R. Apt - 1987 - Journal of Symbolic Logic 52 (1):295-349.details
|
|
A Rank One Cohesive Set. Downey & Yang Yue - 1994 - Annals of Pure and Applied Logic 68 (2):161-171.details
|
|
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.details
|
|
Countable thin Π01 classes.Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 59 (2):79-139.details
|
|
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation.Ulrich Kohlenbach - 1993 - Annals of Pure and Applied Logic 64 (1):27-94.details
|
|
Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.details
|
|
Generalizing classical and effective model theory in theories of operations and classes.Paolo Mancosu - 1991 - Annals of Pure and Applied Logic 52 (3):249-308.details
|
|
Herbrand analyses.Wilfried Sieg - 1991 - Archive for Mathematical Logic 30 (5-6):409-441.details
|
|
Vitali's Theorem and WWKL.Douglas K. Brown, Mariagnese Giusto & Stephen G. Simpson - 2002 - Archive for Mathematical Logic 41 (2):191-206.details
|
|
Iterated trees and fragments of arithmetic.Yue Yang - 1995 - Archive for Mathematical Logic 34 (2):97-112.details
|
|
Algebraic disguises ofΣ 1 0 induction.Kostas Hatzikiriakou - 1989 - Archive for Mathematical Logic 29 (1):47-51.details
|
|
Addendum to “Countable algebra and set existence axioms”.Harvey M. Friedman, Stephen G. Simpson & Rick L. Smith - 1984 - Annals of Pure and Applied Logic 28 (3):319-320.details
|
|
Jump degrees of torsion-free abelian groups.Brooke M. Andersen, Asher M. Kach, Alexander G. Melnikov & Reed Solomon - 2012 - Journal of Symbolic Logic 77 (4):1067-1100.details
|
|
Klassinen matematiikka ja logiikka.Panu Raatikainen - 1996 - In Christoffer Gefwert (ed.), Logiikka, matematiikka ja tietokone – Perusteet: historiaa, filosofiaa ja sovelluksia. Finnish Artificial Intelligence Society.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|
The baire category theorem in weak subsystems of second-order arithmetic.Douglas K. Brown & Stephen G. Simpson - 1993 - Journal of Symbolic Logic 58 (2):557-578.details
|
|
Connections between axioms of set theory and basic theorems of universal algebra.H. Andréka, Á Kurucz & I. Németi - 1994 - Journal of Symbolic Logic 59 (3):912-923.details
|
|
Effective aspects of Jacobson radicals of rings.Huishan Wu - 2021 - Mathematical Logic Quarterly 67 (4):489-505.details
|
|
Primitive recursive reverse mathematics.Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu & Alexander Melnikov - 2024 - Annals of Pure and Applied Logic 175 (1):103354.details
|
|
Structure of semisimple rings in reverse and computable mathematics.Huishan Wu - 2023 - Archive for Mathematical Logic 62 (7):1083-1100.details
|
|
Orders on computable rings.Huishan Wu - 2020 - Mathematical Logic Quarterly 66 (2):126-135.details
|
|
Ring structure theorems and arithmetic comprehension.Huishan Wu - 2020 - Archive for Mathematical Logic 60 (1-2):145-160.details
|
|
Set existence principles and closure conditions: unravelling the standard view of reverse mathematics.Benedict Eastaugh - 2019 - Philosophia Mathematica 27 (2):153-176.details
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†.John T. Baldwin - 2019 - Philosophia Mathematica 27 (1):33-60.details
|
|
Degrees containing members of thin Π10 classes are dense and co-dense.Rodney G. Downey, Guohua Wu & Yue Yang - 2018 - Journal of Mathematical Logic 18 (1):1850001.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
On the ranked points of a Π1 0 set.Douglas Cenzer & Rick L. Smith - 1989 - Journal of Symbolic Logic 54 (3):975-991.details
|
|
Weak comparability of well orderings and reverse mathematics.Harvey M. Friedman & Jeffry L. Hirst - 1990 - Annals of Pure and Applied Logic 47 (1):11-29.details
|
|
Periodic points and subsystems of second-order arithmetic.Harvey Friedman, Stephen G. Simpson & Xiaokang Yu - 1993 - Annals of Pure and Applied Logic 62 (1):51-64.details
|
|
Hyperarithmetical relations in expansions of recursive structures.Alan D. Vlach - 1994 - Annals of Pure and Applied Logic 66 (2):163-196.details
|
|
Countable valued fields in weak subsystems of second-order arithmetic.Kostas Hatzikiriakou & Stephen G. Simpson - 1989 - Annals of Pure and Applied Logic 41 (1):27-32.details
|
|
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.details
|
|
The Dirac delta function in two settings of Reverse Mathematics.Sam Sanders & Keita Yokoyama - 2012 - Archive for Mathematical Logic 51 (1-2):99-121.details
|
|
The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length.Wesley Calvert - 2005 - Journal of Symbolic Logic 70 (1):331 - 345.details
|
|
Reverse Mathematics and Fully Ordered Groups.Reed Solomon - 1998 - Notre Dame Journal of Formal Logic 39 (2):157-189.details
|
|
(1 other version)Ordered groups: A case study in reverse mathematics.Reed Solomon - 1999 - Bulletin of Symbolic Logic 5 (1):45-58.details
|
|
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Ordinal numbers and the Hilbert basis theorem.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (3):961-974.details
|
|
Minimal prime ideals and arithmetic comprehension.Kostas Hatzikiriakou - 1991 - Journal of Symbolic Logic 56 (1):67-70.details
|
|
Bounds for Indexes of Nilpotency in Commutative Ring Theory: A Proof Mining Approach.Fernando Ferreira - 2020 - Bulletin of Symbolic Logic 26 (3-4):257-267.details
|
|
Borel quasi-orderings in subsystems of second-order arithmetic.Alberto Marcone - 1991 - Annals of Pure and Applied Logic 54 (3):265-291.details
|
|
Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.details
|
|
Reverse mathematics and semisimple rings.Huishan Wu - 2022 - Archive for Mathematical Logic 61 (5):769-793.details
|
|
The Complexity of Radicals and Socles of Modules.Huishan Wu - 2020 - Notre Dame Journal of Formal Logic 61 (1):141-153.details
|
|
(1 other version)– CA 0 and order types of countable ordered groups.Reed Solomon - 2001 - Journal of Symbolic Logic 66 (1):192-206.details
|
|