Find link

language:

Find link is a tool written by Edward Betts.

searching for Association for Symbolic Logic 56 found (133 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 (347 words) [view diff] exact match in snippet view article find links to 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

Alexander Esenin-Volpin (2,002 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

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

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

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

Ultrafinitism (927 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

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 (571 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,061 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

Axiom of adjunction (480 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)

Richard Shore (294 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 List of Fellows of the American Mathematical Society, retrieved

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

Solomon Feferman (1,340 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

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

Robert Goldblatt (503 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

Kit Fine (779 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. Faroldi, Federico L. G.; Van De Putte, Frederik, eds. (2023)

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 2024-04-24. "Gödel Lecturers". – Association for Symbolic Logic. Retrieved 2024-05-08. "Charles D. Parsons". Legacy. Retrieved

É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

Θ (set theory) (427 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

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

Solovay model (1,124 words) [view diff] exact match in snippet view article find links to article

by Saharon Shelah"", The Journal of Symbolic Logic, 54 (2), Association for Symbolic Logic: 633–635, doi:10.2307/2274892, ISSN 0022-4812, JSTOR 2274892

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

Wadge hierarchy (1,336 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

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

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

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.

Algebraic logic (2,224 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.

Regular language (3,424 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,030 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)

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

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

Dyadic rational (3,895 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

Controversy over Cantor's theory (2,978 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

Russell's paradox (4,621 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

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

Anafunctor (834 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

Infinitesimal (5,092 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

Variadic function (3,551 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

Reverse mathematics (4,781 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

Field (mathematics) (10,305 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

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

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

Gödel's incompleteness theorems (12,173 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;

Curry–Howard correspondence (6,375 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

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,237 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