ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Leon Henkin. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 (1953), pp. 410–427.
Journal of Symbolic Logic
◽
10.2307/2266936
◽
1955
◽
Vol 20
(2)
◽
pp. 183-184
Author(s):
Andrzej Mostowski
Keyword(s):
Mathematical Logic
◽
American Mathematical Society
◽
Mathematical Society
◽
Modern Algebra
Download Full-text
Related Documents
Cited By
References
Modern Algebra: Structure of Algebras . By A. A. Albert. 210 pp. New York: Colloquium Publications of the American Mathematical Society. 1939.
Science
◽
10.1126/science.95.2467.386-b
◽
1942
◽
Vol 95
(2467)
◽
pp. 386-387
Author(s):
Morgan Ward
Keyword(s):
New York
◽
American Mathematical Society
◽
Mathematical Society
◽
Algebra Structure
◽
Modern Algebra
Download Full-text
David W. Kueker. Löwenheim–Skolem and interpolation theorems in infinitary languages. Bulletin of the American Mathematical Society, vol. 78 (1972), pp. 211–215. - K. Jon Barwise. Mostowski's collapsing function and the closed unbounded filter. Fundamenta mathematicae, vol. 82 no. 2 (1974), pp. 95–103. - David W. Kueker. Countable approximations and Löwenheim–Skolem theorems. Annals of mathematical logic, vol. 11 (1977), pp. 57–103.
Journal of Symbolic Logic
◽
10.2307/2273961
◽
1986
◽
Vol 51
(1)
◽
pp. 232-234
Author(s):
Victor Harnik
Keyword(s):
Mathematical Logic
◽
American Mathematical Society
◽
Mathematical Society
◽
Collapsing Function
Download Full-text
James Cummings. A model in which GCH holds at successors but fails at limits. Transactions of the American Mathematical Society, vol. 329 (1992), pp. 1–39. - James Cummings. Strong ultrapowers and long core models. The journal of symbolic logic, vol. 58 (1993), pp. 240–248. - James Cummings. Coherent sequences versus Radin sequences. Annals of pure and applied logic, vol. 70 (1994), pp. 223–241. - James Cummings, Matthew Foreman, and Menachem Magidor. Squares, scales and stationary reflection. Journal of mathematical logic, vol. 1 (2001), pp. 35–98.
Bulletin of Symbolic Logic
◽
10.2178/bsl/1182353938
◽
2002
◽
Vol 8
(4)
◽
pp. 550-552
Author(s):
Arthur W. Apter
Keyword(s):
Mathematical Logic
◽
American Mathematical Society
◽
Mathematical Society
◽
Symbolic Logic
◽
Stationary Reflection
◽
Applied Logic
Download Full-text
Saharon Shelah. Middle diamond. Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. - Saharon Shelah. Diamonds. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 6, pp. 2151–2161. - Martin Zeman. Diamond, GCH and weak square. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 5, pp. 1853–1859.
Bulletin of Symbolic Logic
◽
10.1017/s1079898600000913
◽
2010
◽
Vol 16
(3)
◽
pp. 420-423
Author(s):
Assaf Rinot
Keyword(s):
Mathematical Logic
◽
American Mathematical Society
◽
Mathematical Society
◽
Weak Square
Download Full-text
S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 (1975), no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 (1977), no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 (1980), no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 (1981), no. 2, pp. 387–391. - Terrence Millar. Recursive categoricity and persistence. The Journal of Symbolic Logic, vol. 51 (1986), no. 2, pp. 430–434. - Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably categorical structures and expansions by constants. The Journal of Symbolic Logic, vol. 64 (1999), no. 1, pp. 13–137. - Peter Cholak, Richard A. Shore and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Archive for Mathematical Logic, vol. 45 (2006), no. 5, pp. 519–538. - Chris Ash, Julia Knight, Mark Manasse and Theodore Slaman. Generic copies of countable structures. Annals of Pure and Applied Logic, vol. 42 (1989), no. 3, pp. 195–205. - John Chisholm. Effective model theory vs. recursive model theory. The Journal of Symbolic Logic, vol. 55 (1990), no. 3, pp. 1168–1191.
Bulletin of Symbolic Logic
◽
10.1017/s1079898600000287
◽
2012
◽
Vol 18
(1)
◽
pp. 131-134
Author(s):
Daniel Turetsky
Keyword(s):
Mathematical Logic
◽
Model Theory
◽
American Mathematical Society
◽
Effective Model
◽
Mathematical Society
◽
Symbolic Logic
◽
Applied Logic
◽
Recursive Model
◽
Linear Orderings
◽
Scott Family
Download Full-text
Modern Algebra: Structure of Algebras . By A. A. Albert. 210 pp. New York: Colloquium Publications of the American Mathematical Society. 1939.
Science
◽
10.1126/science.95.2467.386.b
◽
1942
◽
Vol 95
(2467)
◽
pp. 386-387
Author(s):
Morgan Ward
Keyword(s):
New York
◽
American Mathematical Society
◽
Mathematical Society
◽
Algebra Structure
◽
Modern Algebra
Download Full-text
Tomek Bartoszynski. On the structure of measurable filters on a countable set. Real analysis exchange, vol. 17 no. 2 (1992), pp. 681–701. - Tomek Bartoszynski and Saharon Shelah. Intersection of < 2ℵ0 ultrafilters may have measure zero. Archive for mathematical logic, vol. 31 (1992), pp. 221–226. - Tomek Bartoszynski and Haim Judah. Measure and Category—filters on ω. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematical Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin, Heidelberg, etc., 1992, pp. 175–201. - Tomek Bartoszynski, Martin Goldstern, Haim Judah, and Saharon Shelah. All meager filters may be null. Proceedings of the American Mathematical Society, vol. 117 (1993), pp. 515–521. - Tomek Bartoszyński. Remarks on the intersection of filters. Topology and its applications, vol. 84 (1998), pp. 139–143.
Bulletin of Symbolic Logic
◽
10.2307/2687761
◽
2001
◽
Vol 7
(3)
◽
pp. 388-389
Author(s):
Claude Laflamme
Keyword(s):
New York
◽
Mathematical Logic
◽
Set Theory
◽
Measure Zero
◽
American Mathematical Society
◽
Mathematical Society
◽
Real Analysis
◽
Mathematical Sciences
◽
The Continuum
◽
Research Institute
Download Full-text
Yoshihiro Abe. Weakly normal filters and the closed unbounded filter on Pkλ. Proceedings of the American Mathematical Society, vol. 104 (1998), pp. 1226–1234. - Yoshihiro Abe. Weakly normal filters and large cardinals. Tsukuba journal of mathematics, vol. 16 (1992), pp. 487–494. - Yoshihiro Abe. Weakly normal ideals on Pkλ and the singular cardinal hypothesis. Fundamenta mathematicae, vol. 143 (1993), pp. 97–106. - Yoshihiro Abe. Saturation of fundamental ideals on Pkλ. Journal of the Mathematical Society of Japan, vol. 48 (1996), pp. 511–524. - Yoshihiro Abe. Strongly normal ideals on Pkλ and the Sup-function. opology and its applications, vol. 74 (1996), pp. 97–107. - Yoshihiro Abe. Combinatorics for small ideals on Pkλ. Mathematical logic quarterly, vol. 43 (1997), pp. 541–549. - Yoshihiro Abe and Masahiro Shioya. Regularity of ultrafilters and fixed points of elementary embeddings. Tsukuba journal of mathematics, vol. 22 (1998), pp. 31–37.
Bulletin of Symbolic Logic
◽
10.2178/bsl/1182353882
◽
2002
◽
Vol 8
(2)
◽
pp. 309-311
Author(s):
Pierre Matet
Keyword(s):
Mathematical Logic
◽
Fixed Points
◽
American Mathematical Society
◽
Large Cardinals
◽
Mathematical Society
◽
Singular Cardinal
◽
Singular Cardinal Hypothesis
◽
Elementary Embeddings
◽
Normal Ideals
Download Full-text
William B. Easton. Powers of regular cardinals. Annals of mathematical logic, vol. 1 no. 2 (1970), pp. 139–178. - J. R. Shoenfield. Unramified forcing. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 357–381.
Journal of Symbolic Logic
◽
10.2307/2272189
◽
1975
◽
Vol 40
(3)
◽
pp. 460-461
Author(s):
J. Barkley Rosser
Keyword(s):
Mathematical Logic
◽
Rhode Island
◽
Set Theory
◽
American Mathematical Society
◽
Mathematical Society
◽
Regular Cardinals
◽
Pure Mathematics
◽
Axiomatic Set Theory
Download Full-text
Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892. - Manuel Lerman, Reed Solomon, and Henry Towsner, Separating principles below Ramsey’s Theorem for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ does not imply WKL0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620. - Lu Liu, Cone avoiding closed sets. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630. - Wei Wang, Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1–25.
Bulletin of Symbolic Logic
◽
10.1017/bsl.2016.32
◽
2016
◽
Vol 22
(4)
◽
pp. 526-530
Author(s):
Denis R. Hirschfeldt
Keyword(s):
Mathematical Logic
◽
American Mathematical Society
◽
Reverse Mathematics
◽
Mathematical Society
◽
Symbolic Logic
◽
Ramsey's Theorem
◽
Closed Sets
◽
Ramsey’S Theorem
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close