Results for 'Rudin-Keisler ordering of filters'

1000+ found
Order:
  1.  8
    Andreas Blass and Saharon Shelah. Ultrafilters with Small Generating Sets. Israel Journal of Mathematics, Vol. 65 , Pp. 259–271. - Andreas Blass and Saharon Shelah. There May Be Simple - and -Points and the Rudin–Keisler Ordering May Be Downward Directed. Annals of Pure and Applied Logic, Vol. 33 , Pp. 213–243. - Andreas Blass. Near Coherence of Filters. II: Applications to Operator Ideals, the Stone–Čech Remainder of a Half-Line, Order Ideals of Sequences, and the Slenderness of Groups. Transactions of the American Mathematical Society, Vol. 300 , Pp. 557–581. - Andreas Blass and Saharon Shelah. Near Coherence of Filters III: A Simplified Consistency Proof. Notre Dame Journal of Formal Logic, Vol. 30 , Pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency Results About Filters and the Number of Inequivalent Growth Types. The Journal of Symbolic Logic, Vol. 54 , Pp. 50–56. - Andreas Blass. Applications of Superperfect Forcing and its Relatives. Set Theory and its Applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
  2.  18
    Some Initial Segments of the Rudin-Keisler Ordering.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (1):147-157.
    A 2-affable ultrafilter has only finitely many predecessors in the Rudin-Keisler ordering of isomorphism classes of ultrafilters over the natural numbers. If the continuum hypothesis is true, then there is an ℵ 1 -sequence of ultrafilters D α such that the strict Rudin-Keisler predecessors of D α are precisely the isomorphs of the D β 's for $\beta.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  22
    Upward Directedness of the Rudin-Keisler Ordering of P-Points.Claude Laflamme - 1990 - Journal of Symbolic Logic 55 (2):449-456.
  4.  6
    A Note on Defining the Rudin-Keisler Ordering of Ultrafilters.Donald H. Pelletier - 1976 - Notre Dame Journal of Formal Logic 17 (2):284-286.
  5.  9
    Rudin-Keisler Posets of Complete Boolean Algebras.A. Pinus, P. Jipsen & H. Rose - 2001 - Mathematical Logic Quarterly 47 (4):447-454.
    The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elementary embeddings of Boolean ultrapowers. The result is applied to show that the Rudin-Keisler poset of some atomless complete Boolean algebras is nontrivial.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  17
    Ordering MAD Families a la Katětov.Michael Hrušák & Salvador García Ferreira - 2003 - Journal of Symbolic Logic 68 (4):1337-1353.
    An ordering (≤K) on maximal almost disjoint (MAD) families closely related to destructibility of MAD families by forcing is introduced and studied. It is shown that the order has antichains of size.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  32
    The Rudin-Blass Ordering of Ultrafilters.Claude Laflamme & Jian-Ping Zhu - 1998 - Journal of Symbolic Logic 63 (2):584-592.
    We discuss the finite-to-one Rudin-Keisler ordering of ultrafilters on the natural numbers, which we baptize the Rudin-Blass ordering in honour of Professor Andreas Blass who worked extensively in the area. We develop and summarize many of its properties in relation to its bounding and dominating numbers, directedness, and provide applications to continuum theory. In particular, we prove in ZFC alone that there exists an ultrafilter with no Q-point below in the Rudin-Blass ordering.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  17
    There May Be Simple Pℵ1 and Pℵ2-Points and the Rudin-Keisler Ordering May Be Downward Directed.Andreas Blass & Saharon Shelah - 1987 - Annals of Pure and Applied Logic 33 (3):213-243.
  9. The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
    We consider extensions of Peano arithmetic suitable for doing some of nonstandard analysis, in which there is a predicate N(x) for an elementary initial segment, along with axiom schemes approximating ω 1 -saturation. We prove that such systems have the same proof-theoretic strength as their natural analogues in second order arithmetic. We close by presenting an even stronger extension of Peano arithmetic, which is equivalent to ZF for arithmetic statements.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  90
    Maharam Spectra of Loeb Spaces.Renling Jin & H. Jerome Keisler - 2000 - Journal of Symbolic Logic 65 (2):550-566.
    We characterize Maharam spectra of Loeb probability spaces and give some applications of the results.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  37
    Almost Everywhere Elimination of Probability Quantifiers.H. Jerome Keisler & Wafik Boulos Lotfallah - 2009 - Journal of Symbolic Logic 74 (4):1121 - 1142.
    We obtain an almost everywhere quantifier elimination for (the noncritical fragment of) the logic with probability quantifiers, introduced by the first author in [10]. This logic has quantifiers like $\exists ^{ \ge 3/4} y$ which says that "for at least 3/4 of all y". These results improve upon the 0-1 law for a fragment of this logic obtained by Knyazev [11]. Our improvements are: 1. We deal with the quantifier $\exists ^{ \ge r} y$ , where y is a tuple (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  23
    The Stability Function of a Theory.H. Jerome Keisler - 1978 - Journal of Symbolic Logic 43 (3):481-486.
    Let T be a complete theory with infinite models in a countable language. The stability function g T (κ) is defined as the supremum of the number of types over models of T of power κ. It is proved that there are only six possible stability functions, namely $\kappa, \kappa + 2^\omega, \kappa^\omega, \operatorname{ded} \kappa, (\operatorname{ded} \kappa)^\omega, 2^\kappa$.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    Observing, Reporting, and Deciding in Networks of Sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2014 - Annals of Pure and Applied Logic 165 (3):812-836.
    In prior work [7] we considered networks of agents who have knowledge bases in first order logic, and report facts to their neighbors that are in their common languages and are provable from their knowledge bases, in order to help a decider verify a single sentence. In report complete networks, the signatures of the agents and the links between agents are rich enough to verify any deciderʼs sentence that can be proved from the combined knowledge base. This paper introduces a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. The Destiny of Man: Beyond Socrates, Plato, and Aristotle to Scientific Philosophy.Donald O. Rudin - 2002 - Core Books.
  15. Textbook of Programmed Science and Unified Philosophy: Beyond Socrates to a Theory of the World: A Universal Program Produces a World Theory.Donald O. Rudin - 2001 - Core Books.
     
    Export citation  
     
    Bookmark  
  16. The World: The Owner's Manual and the Service Manual: Constructing the World Story Unifies Snow's "Two Cultures" and Initiates the Age of Understanding.Donald O. Rudin - 2004 - Core Books.
     
    Export citation  
     
    Bookmark  
  17.  12
    Gitik Moti. On the Mitchell and Rudin-Keisler Orderings of Ultrafilters. Annals of Pure and Applied Logic, Vol. 39 , Pp. 175–197. [REVIEW]James Cummings - 1995 - Journal of Symbolic Logic 60 (1):338-339.
  18.  11
    Frege Structures and the Notions of Proposition, Truth and Set.Peter Aczel, Jon Barwise, H. Jerome Keisler & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (1):244-246.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  19.  50
    On the Strength of Nonstandard Analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.
  20.  28
    M. Makkai. On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers. The Journal of Symbolic Logic, Vol. 34 , Pp. 437–459. [REVIEW]H. Jerome Keisler - 1973 - Journal of Symbolic Logic 38 (2):337-337.
  21.  7
    Craig Interpolation for Networks of Sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
  22.  18
    Abraham Robinson. Forcing in Model Theory. Symposia Mathematica, Vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, Pp. 69–82. - Jon Barwise and Abraham Robinson. Completing Theories by Forcing. Annals of Mathematical Logic, Vol. 2 No. 2 , Pp. 119–142. - Abraham Robinson. Infinite Forcing in Model Theory. Proceedings of the Second Scandinavian Logic Symposium, Edited by J. E. Fenstad, Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, Pp. 317–340. - Abraham Robinson. Forcing in Model Theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, Pp. 245–250. [REVIEW]H. Jerome Keisler - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  23.  31
    Some Applications of Infinitely Long Formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  24.  42
    Theory of Models with Generalized Atomic Formulas.H. Jerome Keisler - 1960 - Journal of Symbolic Logic 25 (1):1-26.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  25.  11
    Separable Models of Randomizations.Uri Andrews & H. Jerome Keisler - 2015 - Journal of Symbolic Logic 80 (4):1149-1181.
  26.  12
    Finite Approximations of Infinitely Long Formulas.H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130.
  27.  59
    The Diversity of Quantifier Prefixes.H. Jerome Keisler & Wilbur Walkoe - 1973 - Journal of Symbolic Logic 38 (1):79-85.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  14
    Hyperfinite Models of Adapted Probability Logic.H. Jerome Keisler - 1986 - Annals of Pure and Applied Logic 31 (1):71-86.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  34
    Ultraproducts of Finite Sets.H. Jerome Keisler - 1967 - Journal of Symbolic Logic 32 (1):47-57.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  10
    Selected Papers of Abraham Robinson.: Model Theory and Algebra.H. J. Keisler & A. Robinson - 1982 - Journal of Symbolic Logic 47 (1):197-203.
  31.  32
    A Result Concerning Cardinalities of Ultraproducts.H. Jerome Keisler & Karel Prikry - 1974 - Journal of Symbolic Logic 39 (1):43-48.
  32.  15
    Short History of the Literatures of India. A Course of Studies.Ludwik Sternbach, V. I. Balin, E. K. Brasalina, N. V. Gurov, G. A. Zograf, T. E. Katenina, V. A. Novikova, Yu V. Petchenko, S. G. Rudin, L. V. Saveleva, N. I. Tolstaya & V. G. Yerman - 1976 - Journal of the American Oriental Society 96 (1):138.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  36
    Meeting of the Association for Symbolic Logic: Madison 1982.H. Jerome Keisler - 1983 - Journal of Symbolic Logic 48 (4):1233-1239.
  34.  12
    Łos J.. On the Extending of Models . Fundamenta Mathematicae, Vol. 42 , Pp. 38–54.Łos J. And Suszko R.. On the Extending of Models . Common Extensions. Fundamenta Mathematicae, Vol. 42 , Pp. 343–347.Słomiński J.. On the Extending of Models . Extensions in Equationally Definable Classes of Algebras. Fundamenta Mathematicae, Vol. 43 , Pp. 69–76.Łos J. And Suszko R.. On the Extending of Models . Infinite Sums of Models. Fundamenta Mathematicae, Vol. 44 , Pp. 52–60. [REVIEW]H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (1):93-95.
  35.  13
    1995–1996 Annual Meeting of the Association for Symbolic Logic.H. Jerome Keisler - 1996 - Bulletin of Symbolic Logic 2 (4):448-472.
  36.  13
    2000 Annual Meeting of the Association for Symbolic Logic.A. Pillay, D. Hallett, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler & V. McGee - 2000 - Bulletin of Symbolic Logic 6 (3):361-396.
  37.  8
    Review: Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski, Topics in the Theory of Definition; Walter Felscher, On Criteria of Definability. [REVIEW]H. Jerome Keisler - 1969 - Journal of Symbolic Logic 34 (2):300-301.
  38.  1
    Madison 1970 Meeting of the Association for Symbolic Logic.H. Jerome Keisler & Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (2):368-378.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. University of Illinois at Urbana-Champaign, June 3–7, 2000.A. Pillay, D. Hallett, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler & V. McGee - 2000 - Bulletin of Symbolic Logic 6 (3).
     
    Export citation  
     
    Bookmark  
  40.  1
    Review: R. L. Vaught, Models of Complete Theories. [REVIEW]H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):344-344.
  41. Applications of Ultraproducts of Pairs of Cardinals to the Theory of Models.C. C. Chang & H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (2):338-339.
  42. Structures and the Hyperarithmetical Hierarchy. Knight has Directed or Co-Directed Seven Doctoral Dissertations in Mathematics and One in Electrical Engineering. She Served on Selection Panels for the NSF Postdoctoral Fellowships, on Program Committees of Numerous Meetings, and as an Editor of The Journal of Symbolic Logic (1989-1995). [REVIEW]D. Haskell, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler, V. McGee & T. Pitassi - 2000 - Bulletin of Symbolic Logic 6 (1).
  43. [Omnibus Review].Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
    Reviewed Works:Andreas Blass, Saharon Shelah, Ultrafilters with Small Generating Sets.Andreas Blass, Saharon Shelah, There May Be Simple $P_{\aleph_1}$- and $P_{\aleph_2}$-Points and the Rudin-Keisler ordering may be downward directed.Andreas Blass, Near Coherence of Filters. II: Applications to Operator Ideals, the Stone- Cech Remainder of a Half-Line, Order Ideals of Sequences, and the Slenderness of Groups.Andreas Blass, Saharon Shelah, Near Coherence of Filters III: A Simplified Consistency Proof.Andreas Blass, Claude Laflamme, Consistency Results About Filters and the Number (...)
     
    Export citation  
     
    Bookmark  
  44.  27
    Axiomatic World Theory: An Overview the General Theory of Evolution in Brief.Donald Rudin - 1996 - World Futures 46 (2):85-124.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) - 1980 - Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  10
    Forcing with Filters and Complete Combinatorics.Claude Laflamme - 1989 - Annals of Pure and Applied Logic 42 (2):125-163.
    We study ultrafilters produced by forcing, obtaining different combinatorics and related Rudin-Keisler ordering; in particular we answer a question of Baumgartner and Taylor regarding tensor products of ultrafilters. Adapting a method of Blass and Mathias, we show that in most cases the combinatorics satisfied by the ultrafilters recapture the forcing notion in the Lévy model.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  47.  22
    Ultrafilters, Monotone Functions and Pseudocompactness.M. Hrušák, M. Sanchis & Á Tamariz-Mascarúa - 2004 - Archive for Mathematical Logic 44 (2):131-157.
    In this article we, given a free ultrafilter p on ω, consider the following classes of ultrafilters:(1) T(p) - the set of ultrafilters Rudin-Keisler equivalent to p,(2) S(p)={q ∈ ω*:∃ f ∈ ω ω , strictly increasing, such that q=f β (p)},(3) I(p) - the set of strong Rudin-Blass predecessors of p,(4) R(p) - the set of ultrafilters equivalent to p in the strong Rudin-Blass order,(5) P RB (p) - the set of Rudin-Blass predecessors of p, and(6) P RK (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  15
    Ultrapowers as Sheaves on a Category of Ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
    In the paper we investigate the topos of sheaves on a category of ultrafilters. The category is described with the help of the Rudin-Keisler ordering of ultrafilters. It is shown that the topos is Boolean and two-valued and that the axiom of choice does not hold in it. We prove that the internal logic in the topos does not coincide with that in any of the ultrapowers. We also show that internal set theory, an axiomatic nonstandard set theory, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  18
    A Few Special Ordinal Ultrafilters.Claude Laflamme - 1996 - Journal of Symbolic Logic 61 (3):920-927.
    We prove various results on the notion of ordinal ultrafilters introduced by J. Baumgartner. In particular, we show that this notion of ultrafilter complexity is independent of the more familiar Rudin-Keisler ordering.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  9
    Ordering of Interim Measures when Resolving Disputes in Lithuanian Commercial Arbitration Courts.Edvardas Sinkevičius - 2013 - Jurisprudencija: Mokslo darbu žurnalas 20 (1):197-206.
    This article deals with the ordering of interim measures in the arbitration process. Under the Lithuanian law, only one interim measure can be applied by commercial arbitration courts. It involves granting an order to pay the established amount as a deposit. This measure cannot be enforced unless the party acts in good faith and agrees to pay the deposit. However, if a party ignores the decision of the arbitration court, a third party court may apply to the state court (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000