Chapter: Open Problems in the Theory of Ultrafilters

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976 > Open Problems in the Theory of Ultrafilters

Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976 |

Jaakko Hintikka; I. Niiniluoto; Esa. Saarinen

Springer Netherlands

Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976

Open Problems in the Theory of Ultrafilters

Chapter Info

Authors

Jussi Ketonen

ARI Id

1664889236602_3943500

Access

Not Available Free

Pages

227-247

DOI

10.1007/978-94-009-9825-4_10

Chapter URL

https://rd.springer.com/chapter/10.1007/978-94-009-9825-4_10

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 20 of 34 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		i-viii
Front Matter		1-1
Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory	G. Kreisel	3-23
Proofs and the Meaning and Completeness of the Logical Constants	Dag Prawitz	25-40
Theory of Quantification and ‰-Calculi	V. A. Smirnov	41-47
Two Kinds of Extensions of Primitive Recursive Arithmetic	Lars Svenonius	49-94
Equality in the Presence of Apartness	D. Van Dalen; R. Statman	95-116
Front Matter		117-117
Game-Theoretical Semantics and Back-and-Forth	Veikko Rantala	119-151
Infinitary Languages N∞λ and Generalized Partial Isomorphisms	Maaret Karttunen	153-168
Front Matter		169-169
Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets	Solomon Feferman	171-195
Hierarchies of Model Theoretic Definability—an Approach to Second Order Logics	Juha Oikkonen	197-225
Open Problems in the Theory of Ultrafilters	Jussi Ketonen	227-247
Front Matter		249-249
The Reals Cannot be Characterized Topologically with Strictly Local Properties and Countability Axioms	J. A. Makowsky	251-257
On the Expressive Power of the Language Using the Henkin Quantifier	M. Krynicki	259-265
Remarks on Free Quantifier Variables	Jouko Väänänen	267-272
Front Matter		273-273
Recursion in 3 E and a Splitting Theorem	Dag Normann	275-285
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 20 of 34 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries