Find link

language:

Find link is a tool written by Edward Betts.

searching for Association for Symbolic Logic 57 found (132 total)

alternate case: association for Symbolic Logic

Elliott Mendelson (662 words) [view diff] exact match in snippet view article find links to article

Donald A. Martin & Elliott Mendelson (1975). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 40 (2):299-304. Hugues Leblanc, Elliott

Maximal set (computability theory) (342 words) [view diff] exact match in snippet view article

without duplication", The Journal of Symbolic Logic, 23 (3), Association for Symbolic Logic: 309–316, doi:10.2307/2964290, JSTOR 2964290, MR 0109125, S2CID 25834814

Nels David Nelson (450 words) [view diff] exact match in snippet view article find links to article

consequently, was Kleene's first doctoral student.[2] According to the Association for Symbolic Logic: Nelson's research was in the area of intuitionistic logic and

Jack Lutz (452 words) [view diff] exact match in snippet view article find links to article

the Association for Symbolic Logic, held in Vienna, Austria, August 6–11, 2001. Lecture Notes in Logic. Vol. 20. Association for Symbolic Logic. pp. 369–385

Types and Programming Languages (184 words) [view diff] exact match in snippet view article find links to article

Benjamin C. Pierce". The Bulletin of Symbolic Logic. 10 (2). Association for Symbolic Logic: 213–214. doi:10.1017/s1079898600003954. JSTOR 3176763. Official

John R. Steel (191 words) [view diff] exact match in snippet view article find links to article

John West Addison Jr. and Stephen G. Simpson. In 1988, the Association for Symbolic Logic awarded him, Donald A. Martin and W. Hugh Woodin the Karp Prize

Bachmann–Howard ordinal (385 words) [view diff] exact match in snippet view article find links to article

constructive ordinals.", Journal of Symbolic Logic, 37 (2), Association for Symbolic Logic: 355–374, doi:10.2307/2272979, JSTOR 2272979, MR 0329869, S2CID 44618354

Alexander Esenin-Volpin (2,344 words) [view diff] exact match in snippet view article find links to article

S. Ésénine-Volpine", The Journal of Symbolic Logic, 32 (4), Association for Symbolic Logic: 517, doi:10.2307/2270182, JSTOR 2270182, S2CID 117082459 Yessenin-Volpin

Forking extension (410 words) [view diff] exact match in snippet view article find links to article

Introduction to Forking", The Journal of Symbolic Logic, 44 (3), Association for Symbolic Logic: 330–350, doi:10.2307/2273127, JSTOR 2273127 Makkai, M. (1984)

Second-order arithmetic (3,837 words) [view diff] exact match in snippet view article find links to article

arithmetic with restricted induction, I, II". Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic (Abstracts). 41: 557–559. JSTOR 2272259

Jon Barwise (744 words) [view diff] exact match in snippet view article find links to article

Sciences. Retrieved May 20, 2011. "2000 Annual Meeting of the Association for Symbolic Logic". The Bulletin of Symbolic Logic. 6 (3): 361–396. 2000. doi:10

Up tack (580 words) [view diff] exact match in snippet view article find links to article

Langford, Cooper Harold (1957). The Journal of Symbolic Logic. Association for Symbolic Logic. p. 41. Smullyan, Raymond M. (1987). Forever undecided: a puzzle

Continuum hypothesis (4,039 words) [view diff] exact match in snippet view article find links to article

at the real number line". Journal of Symbolic Logic. 51 (1). Association for Symbolic Logic: 190–200. doi:10.2307/2273955. JSTOR 2273955. S2CID 38174418

Ultrafinitism (916 words) [view diff] exact match in snippet view article find links to article

S. Ésénine-Volpine", The Journal of Symbolic Logic, 32 (4), Association for Symbolic Logic: 517, doi:10.2307/2270182, JSTOR 2270182 Lavine, S., 1994. Understanding

William Alvin Howard (244 words) [view diff] exact match in snippet view article find links to article

Intuitionistic Analysis". The Journal of Symbolic Logic. 3 (3). Association for Symbolic Logic: 325–358. doi:10.2307/2270450. JSTOR 2270450. S2CID 5683782

Richard Shore (314 words) [view diff] exact match in snippet view article find links to article

(5–6): 711–722. doi:10.4310/MRL.1999.v6.n6.a10. "Gödel Lectures, Association for Symbolic Logic". Archived from the original on 2015-09-23. Retrieved 2015-11-03

Howard Jerome Keisler (513 words) [view diff] exact match in snippet view article find links to article

Model Theory of Stochastic Processes, Lecture Notes in Logic, Association for Symbolic Logic. 2002 Criticism of non-standard analysis Non-standard calculus

Slow-growing hierarchy (813 words) [view diff] exact match in snippet view article find links to article

papers from the Logic colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6–13, 1997. Cambridge: Cambridge University

Axiom of adjunction (496 words) [view diff] exact match in snippet view article find links to article

Set Theory--Part I", The Journal of Symbolic Logic, 2 (1), Association for Symbolic Logic: 65–77, doi:10.2307/2268862, JSTOR 2268862 Kirby, Laurence (2009)

Alexander Razborov (716 words) [view diff] exact match in snippet view article find links to article

Archived from the original on 2007-12-01. "Gödel Lecturers – Association for Symbolic Logic". Archived from the original on 2021-11-08. Retrieved 2021-11-10

Kit Fine (791 words) [view diff] exact match in snippet view article find links to article

23 March 2012. Retrieved 8 March 2022. "Gödel Lecturers". Association for Symbolic Logic. Archived from the original on 8 November 2021. Retrieved 8

Robert Goldblatt (506 words) [view diff] exact match in snippet view article find links to article

and Substructural Logics, Cambridge University Press and the Association for Symbolic Logic. Influence of non-standard analysis "Maxwell Cresswell - The

Solomon Feferman (1,342 words) [view diff] exact match in snippet view article find links to article

Rolf Schock Prize in logic and philosophy". "Gödel Lecturers – Association for Symbolic Logic". Archived from the original on November 8, 2021. Retrieved

Weakly compact cardinal (918 words) [view diff] exact match in snippet view article find links to article

Elementary Embeddings", Journal of Symbolic Logic, 56 (2), Association for Symbolic Logic: 439–457, doi:10.2307/2274692, JSTOR 2274692, S2CID 288779 Kanamori

Charles Parsons (philosopher) (608 words) [view diff] exact match in snippet view article

Genealogy Project. Retrieved April 24, 2024. "Gödel Lecturers". – Association for Symbolic Logic. Retrieved May 8, 2024. "Charles D. Parsons". Legacy. Retrieved

Theta (set theory) (426 words) [view diff] exact match in snippet view article

Seminar, Vol. I, Lecture Notes in Logic, vol. 31, Chicago: Association for Symbolic Logic, pp. 355–378, doi:10.1017/CBO9780511546488.018, ISBN 978-0-521-89951-2

Élisabeth Bouscaren (357 words) [view diff] exact match in snippet view article find links to article

Colloquium 2000, Lecture Notes in Logic, vol. 19, Urbana, IL: Association for Symbolic Logic, pp. 3–31, MR 2143876 Bouscaren, E.; Delon, F. (2002), "Groups

András Hajnal (1,913 words) [view diff] exact match in snippet view article find links to article

partition relations", The Journal of Symbolic Logic, 66 (2), Association for Symbolic Logic: 811–821, doi:10.2307/2695046, JSTOR 2695046, MR 1833480, S2CID 28122765

Robinson arithmetic (1,839 words) [view diff] exact match in snippet view article find links to article

(1967). Mathematical logic. Addison Wesley. (Reprinted by Association for Symbolic Logic and A K Peters in 2000). Smullyan, Raymond (1991). Gödel's Incompleteness

Wadge hierarchy (1,339 words) [view diff] exact match in snippet view article find links to article

Family of Infinite Sets". The Journal of Symbolic Logic. 49 (3). Association for Symbolic Logic: 774–782. doi:10.2307/2274130. JSTOR 2274130. S2CID 37813340

Mostowski collapse lemma (591 words) [view diff] exact match in snippet view article find links to article

for set theory, Part III", Journal of Symbolic Logic, 18 (2), Association for Symbolic Logic: 145–167, doi:10.2307/2268947, JSTOR 2268947, S2CID 35526998

Admissible ordinal (660 words) [view diff] exact match in snippet view article find links to article

MR 0644315. G. E. Sacks, Higher Recursion Theory (p.151). Association for Symbolic Logic, Perspectives in Logic Friedman, Sy D. (2010), "Constructibility

Subcountability (3,589 words) [view diff] exact match in snippet view article find links to article

Joint proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Biannual Meeting of the German Association for Mathematical

Algebraic logic (2,218 words) [view diff] exact match in snippet view article find links to article

and Gary M. Hardegree". The Bulletin of Symbolic Logic. 9. Association for Symbolic Logic, Cambridge University Press. ISSN 1079-8986. JSTOR 3094793.

Beta-model (777 words) [view diff] exact match in snippet view article find links to article

Subsystems of second order arithmetic. Perspectives in logic. Association for Symbolic Logic (2nd ed.). Cambridge; New York: Cambridge University Press.

Regular language (3,443 words) [view diff] exact match in snippet view article find links to article

foundations of proof complexity (1. publ. ed.). Ithaca, NY: Association for Symbolic Logic. p. 75. ISBN 978-0-521-51729-4. J. Hartmanis, P. L. Lewis II

Sergio Fajardo (1,060 words) [view diff] exact match in snippet view article find links to article

Model Theory of Stochastic Processes. Lecture Notes in Logic. Association for Symbolic Logic. A.K.Peters, Natick, MA. ISBN 1-56881-172-1. Fajardo, S. (2007)

Ruy de Queiroz (1,250 words) [view diff] exact match in snippet view article find links to article

Woods (eds.), College Publications; Elected member, Council, Association for Symbolic Logic, 2006-2008. (with de Oliveira, A.) The Functional Interpretation

Alpha recursion theory (1,455 words) [view diff] exact match in snippet view article find links to article

Higher Recursion Theory (p.152). "Perspectives in Logic", Association for Symbolic Logic. P. Odifreddi, Classical Recursion Theory (1989), theorem IV

Coercive logic (296 words) [view diff] exact match in snippet view article find links to article

the name of the process. "The Bulletin of Symbolic Logic". Association for Symbolic Logic. 2009. Retrieved 3 March 2020. {{cite journal}}: Cite journal

Controversy over Cantor's theory (2,989 words) [view diff] exact match in snippet view article find links to article

Hopeless Papers", The Bulletin of Symbolic Logic, vol. 4, no. 1, Association for Symbolic Logic, pp. 1–16, CiteSeerX 10.1.1.27.6154, doi:10.2307/421003, JSTOR 421003

Dyadic rational (3,898 words) [view diff] exact match in snippet view article find links to article

2001, Lecture Notes in Logic, vol. 21, La Jolla, California: Association for Symbolic Logic, pp. 175–188, MR 2185433 Conway, J. H. (2001), On Numbers and

Russell's paradox (4,507 words) [view diff] exact match in snippet view article find links to article

British Columbia P. Maddy, "Believing the Axioms I" (1988). Association for Symbolic Logic. José Ferreirós (2008). Labyrinth of Thought: A History of Set

Infinitesimal (5,087 words) [view diff] exact match in snippet view article find links to article

Applications in Mathematics" (2007) Lecture Notes in Logic 25, Association for Symbolic Logic. "The Strength of Nonstandard Analysis" (2007) Springer. Laugwitz

Anafunctor (836 words) [view diff] exact match in snippet view article find links to article

Symbolic Logic, held in Haifa, Israel, August 9-18, 1995. Vol. 11. Association for Symbolic Logic. pp. 153–191. Zbl 0896.03051. Palmgren, Erik (2008). "Locally

Reverse mathematics (4,702 words) [view diff] exact match in snippet view article find links to article

arithmetic with restricted induction, I, II", Meeting of the Association for Symbolic Logic, The Journal of Symbolic Logic, 41 (2): 557–559, doi:10.2307/2272259

Variadic function (3,625 words) [view diff] exact match in snippet view article find links to article

individuals. Abstract of a talk given at the Second Meeting of the Association for Symbolic Logic, held in Cambridge MA on December 28–30, 1936, [1], Journal

Field (mathematics) (10,335 words) [view diff] exact match in snippet view article

theory of fields, Lecture Notes in Logic, vol. 5 (2nd ed.), Association for Symbolic Logic, CiteSeerX 10.1.1.36.8448, ISBN 978-1-56881-282-3, MR 2215060

Kleene's O (2,310 words) [view diff] exact match in snippet view article find links to article

for Ordinal Numbers", The Journal of Symbolic Logic, 3 (4), Association for Symbolic Logic: 150–155, doi:10.2307/2267778, JSTOR 2267778, S2CID 34314018

Induction, bounding and least number principles (1,211 words) [view diff] exact match in snippet view article find links to article

Pudlák, Pavel (2016). Metamathematics of First-Order Arithmetic. Association for Symbolic Logic c/- Cambridge University Press. ISBN 978-1-107-16841-1. OCLC 1062334376

Jeffrey B. Remmel (568 words) [view diff] exact match in snippet view article find links to article

1017/bsl.2017.40. ISSN 1079-8986. JSTOR 26409199. Also appears in Association for Symbolic Logic November 2017 newsletter. Marek, Victor W. "Comments on Logic

Gödel's incompleteness theorems (12,193 words) [view diff] exact match in snippet view article find links to article

Shoenfield, Joseph R. (1967). Mathematical logic. Natick, Mass.: Association for Symbolic Logic (published 2001). ISBN 978-1-56881-135-2. Stangroom, Jeremy;

Roy Dyckhoff (1,117 words) [view diff] exact match in snippet view article find links to article

Scottish Association of Change Ringers. Retrieved 2 June 2025. "ASL Newsletter - January 2019" (PDF). Association for Symbolic Logic. Retrieved 2 June 2025.

Curry–Howard correspondence (6,372 words) [view diff] exact match in snippet view article find links to article

other resource logics". Journal of Symbolic Logic. Vol. 57. Association for Symbolic Logic. pp. 1319–1365. doi:10.2307/2275370. JSTOR 2275370. S2CID 7159005

New Foundations (10,917 words) [view diff] exact match in snippet view article find links to article

second order arithmetic via automorphisms". Logic in Tehran. 26. Association for Symbolic Logic: 87–113. doi:10.1201/9781439865873-5 (inactive 19 August 2025)

Non-normal modal logic (1,224 words) [view diff] exact match in snippet view article find links to article

and Quantification". The Journal of Symbolic Logic. 11 (2). Association for Symbolic Logic: 33–64. doi:10.2307/2268610. JSTOR 2268610. Retrieved 27 December

Glossary of logic (30,339 words) [view diff] case mismatch in snippet view article find links to article

mathematics. Conference on Alternative Semantics, Temple University, Association for symbolic logic. Amsterdam: North-Holland. p. 297. ISBN 978-0-7204-2269-6. Aussenac-Gilles