Infinitary logic - PDFSEARCH.IO - Document Search Engine

Infinitary logic
Results: 10

#	Item
1	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic
2	Finitary and Infinitary Mathematics, the Possibility of Possibilities and the Definition of Probabilities. * Matthew J. Donald The Cavendish Laboratory, JJ Thomson Avenue, Cambridge CB3 0HE, Great Britain. e-mail: Add to Reading List Source URL: www.poco.phy.cam.ac.uk Language: English - Date: 2006-04-08 07:03:50 Mathematical logic Quantum mechanics Philosophy of mathematics Finitary Infinity Model theory Variety Interpretations of quantum mechanics Quantum field theory Mathematics Logic Physics
3	CONFLICT FREE COLORINGS OF (STRONGLY) ALMOST DISJOINT SET-SYSTEMS ´ HAJNAL, ISTVAN ´ JUHASZ, ´ ANDRAS Add to Reading List Source URL: www.math-inst.hu Language: English - Date: 2010-08-29 06:41:03 Mathematics Set theory Infinitary combinatorics Symbol Cardinal number Even and odd ordinals Limit cardinal Suslin representation Spectral theory of ordinary differential equations Mathematical logic Large cardinals Numbers
4	Williamson’s Many Necessary Existents∗ Theodore Sider Analysis[removed]): 50–58 This note is to show that a well-known point about David Lewis’s (1986) Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-04-05 12:09:36 Non-classical logic Philosophical logic Metalogic Model theory First-order logic Modal logic Infinitary logic Entailment Cardinal number Logic Mathematical logic Predicate logic
5	ON HANF NUMBERS OF THE INFINITARY ORDER PROPERTY DRAFT RAMI GROSSBERG AND SAHARON SHELAH Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 1998-06-09 14:32:15 Set theory Ordinal numbers Symbol Cofinality Stable theory Tree Constructible universe Cardinal number Weakly compact cardinal Mathematical logic Large cardinals Mathematics
6	Topology and its Applications[removed]–2459 Contents lists available at ScienceDirect Add to Reading List Source URL: math.bu.edu Language: English - Date: 2012-01-11 13:58:49 Mathematics Critical point Kenneth Kunen Measurable cardinal Huge cardinal Infinitary combinatorics Suslin representation Inaccessible cardinal Core model Mathematical logic Large cardinals Set theory
7	LARGE CARDINALS WITH FORCING Akihiro Kanamori This chapter describes, following the historical development, the investigation of Add to Reading List Source URL: math.bu.edu Language: English - Date: 2012-03-06 14:12:26 Set theory Weakly compact cardinal Inaccessible cardinal Critical point Mahlo cardinal Measurable cardinal Constructible universe Infinitary combinatorics Forcing Mathematical logic Large cardinals Mathematics
8	Microsoft Word - mevita.Jun2010.4page.docx Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2010-09-06 02:56:00 Philosophers of mathematics Non-classical logic Philosophical logic Quantification Model theory Finitary Jaakko Hintikka Infinitary logic John Lane Bell Logic Mathematical logic Mathematics
9	Commentationes Mathematicae Universitatis Carolinae Alessandro Fedeli Add to Reading List Source URL: dml.cz Language: English Mathematical analysis Cardinal number Infinitary combinatorics Complete Boolean algebra Hausdorff space Support Exponentiation Weakly compact cardinal Locally convex topological vector space Mathematics Large cardinals Mathematical logic
10	PDF Document Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2010-05-09 02:18:40 Model theory Metalogic First-order logic Infinitary logic Abstract logic Thoralf Skolem Logic Mathematical logic Mathematics

UPDATE