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 20 of 20 found      Go to page: 1

[1] 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

[2] 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

[3] 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

[4] 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

[5] 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

[6] 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

[7] 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

[8] 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

[9] 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

[10] 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

[11] 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

[12] 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

[13] 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

[14] 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

[15] 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

[16] 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

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

[18] 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

[19] 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

[20] 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 20 of 20 found      Go to page: 1