American Mathematical Society

My Account · My Cart · Customer Services · FAQ  
AMS eContent Search Results
Matches for: msc=(03F30) AND publication=(all)
Sort order: Date
Format: Standard display

  
Results: 1 to 22 of 22 found      Go to page: 1

[1] Harvey Friedman and Florian Pelupessy. Independence of Ramsey theorem variants using $\varepsilon_0$. Proc. Amer. Math. Soc.
Abstract, references, and article information   
View Article: PDF

[2] Samuel R. Buss, Leszek Aleksander Kołodziejczyk and Konrad Zdanowski. Collapsing modular counting in bounded arithmetic and constant depth propositional proofs. Trans. Amer. Math. Soc.
Abstract, references, and article information   
View Article: PDF

[3] Andreas Weiermann and Wim Van Hoof. Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension. Proc. Amer. Math. Soc. 140 (2012) 2913-2927.
Abstract, references, and article information   
View Article: PDF

[4] Andrey Bovykin. Unprovability of sharp versions of Friedman's sine-principle. Proc. Amer. Math. Soc. 135 (2007) 2967-2973. MR 2317975.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[5] Theodore A. Slaman. $\Sigma_n$-bounding and $\Delta_n$-induction. Proc. Amer. Math. Soc. 132 (2004) 2449-2456. MR 2052424.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[6] Andreas Weiermann. A classification of rapidly growing Ramsey functions. Proc. Amer. Math. Soc. 132 (2004) 553-561. MR 2022381.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[7] Jan Krajíček. Fragments of bounded arithmetic and bounded query classes . Trans. Amer. Math. Soc. 338 (1993) 587-598. MR 1124169.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[8] Martin Loebl and Jaroslav Nešetřil. An unprovable Ramsey-type theorem . Proc. Amer. Math. Soc. 116 (1992) 819-824. MR 1095225.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[9] Véronique Terrier. Decidability of the existential theory of the set of natural numbers with order, divisibility, power functions, power predicates, and constants . Proc. Amer. Math. Soc. 114 (1992) 809-816. MR 1072092.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[10] C. T. Chong and K. J. Mourad. $\Sigma\sb n$ definable sets without $\Sigma\sb n$ induction . Trans. Amer. Math. Soc. 334 (1992) 349-363. MR 1117216.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[11] Roman Kossak. On extensions of models of strong fragments of arithmetic . Proc. Amer. Math. Soc. 108 (1990) 223-232. MR 984802.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[12] K. McAloon and J. P. Ressayre. Independent statements about finite stretchable structures . Proc. Amer. Math. Soc. 104 (1988) 603-610. MR 962836.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[13] Samuel R. Buss. A conservation result concerning bounded theories and the collection axiom . Proc. Amer. Math. Soc. 100 (1987) 709-715. MR 894442.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[14] Christian Bennet. Lindenbaum algebras and partial conservativity . Proc. Amer. Math. Soc. 97 (1986) 323-327. MR 835891.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[15] Per Lindström. On partially conservative sentences and interpretability . Proc. Amer. Math. Soc. 91 (1984) 436-443. MR 744645.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[16] Robert A. Di Paola. A uniformly, extremely nonextensional formula of arithmetic with many undecidable fixed points in many theories . Proc. Amer. Math. Soc. 91 (1984) 291-297. MR 740189.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[17] Michael Anshel and Kenneth McAloon. Reducibilities among decision problems for HNN groups, vector addition systems and subsystems of Peano arithmetic . Proc. Amer. Math. Soc. 89 (1983) 425-429. MR 715859.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[18] E. A. Cichon. A short proof of two recently discovered independence results using recursion theoretic methods . Proc. Amer. Math. Soc. 87 (1983) 704-706. MR 687646.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[19] C. Smoryński. Fixed point algebras. Bull. Amer. Math. Soc. 6 (1982) 317-356. MR 648523.
Abstract, references, and article information   
View Article: PDF

[20] Didier Misercque. The nonhomogeneity of the $E$-tree---answer to a problem raised by D. Jensen and A. Ehrenfeucht . Proc. Amer. Math. Soc. 84 (1982) 573-575. MR 643752.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[21] D. Guaspari. Partially conservative extensions of arithmetic . Trans. Amer. Math. Soc. 254 (1979) 47-68. MR 539907.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[22] Kenneth McAloon. Completeness theorems, incompleteness theorems and models of arithmetic . Trans. Amer. Math. Soc. 239 (1978) 253-277. MR 487048.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge


Results: 1 to 22 of 22 found      Go to page: 1