The theory of ultrafilters / by Comfort, W. W. 1933-

Subjects: “…Ultrafilters (Mathematics)…”

Ultrafilters and topologies on groups / by Zelenyuk, Yevhen G.

Table of Contents: CONNECT

Monoidal topology : a categorical approach to order, metric and topology /

CONNECT

Algebra in the Stone-Cech Compactification : Theory and Applications. by Hindman, Neil

Table of Contents: “…10.4 Isomorphisms Defined on Principal Left and Right Ideals10.5 Notes; 11 The Rudin-Keisler Order; 11.1 Connections with Right Cancelability; 11.2 Connections with Left Cancelability in N*; 11.3 Further Connections with the Algebra of ßS; 11.4 The Rudin-Frolík Order; 11.5 Notes; 12 Ultrafilters Generated by Finite Sums; 12.1 Martin's Axiom; 12.2 Strongly Summable Ultrafilters -- Existence; 12.3 Strongly Summable Ultrafilters -- Independence; 12.4 Algebraic Properties of Strongly Summable Ultrafilters; 12.5 Notes; 13 Multiple Structures in ßS; 13.1 Sums Equal to Products in ßZ.…”
CONNECT

Monoidal topology : a categorical approach to order, metric and topology /

CONNECT

Theory of relations / by Fraïssé, Roland

CONNECT

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 /

Table of Contents: “…Baldwin -- On the density of Hausdorff ultrafilters / Tomek Bartoszynski and Saharon Shelah -- Zero-groups and maximal tori / Alessandro Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized local zeta functions / Raf Cluckers -- Colourings of hypergraphs, permutation groups and CSP's / Benoit Larose and Lucien Haddad -- Tolerance intersection properties and subalgebras of squares / Paolo Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension and weak truth-table reducibility / Frank Stephan -- Computation and the explanation of intelligent behaviours : ethologically motivated restart / Guglielmo Tamburrini and Edoardo Datteri -- Constructible sheaves and definability / Ivan Tomašić -- An overview of modern universal algebra / Ross Willard.…”
CONNECT

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /

Table of Contents: “…Berger -- A term-rewriting characterization of PSPACE / N. Eguchi -- I-ultrafilters and summable ideals / J. Flas̮ková -- Lowness and highness properties for randomness notions / J. …”
CONNECT

The theory of semisets / by Vopěnka, Petr

Table of Contents: “…PROPERTIES OF COMPLETE ULTRAFILTERS; CHAPTER V.; SECTION 1. THE FULL UPWARD EXTENSION OF THE UNIVERSE; SECTION 2. …”
CONNECT

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 /

Table of Contents: “…A model-theoretic view of some special ultrafilters; Chapter 5. Cogeneric extensions; Chapter 6. …”
CONNECT

Continuous model theory / by Chang, Chen Chung, 1927-

Table of Contents: “…4.3 The downward Löwenheim-Skolem theoremCHAPTER V: ULTRAPRODUCTS OF MODELS AND APPLICATIONS; 5.1 The fundamental lemma; 5.2 The compactness theorem; 5.3 The upward Löwenheim-Skolem theorem; 5.4 Good ultrafilters ; 5.5 Good ultra products; CHAPTER VI: SPECIAL MODELS; 6.1 Saturated models ; 6.2 Existence of special models; 6.3 Universal models; 6.4 Uniqueness of special models; 6.5 Some consequences of the generalized continuum hypothesis; CHAPTER VII: CLASSES PRESERVED UNDER ALGEBRAIC RELATIONS; 7.1 The extended theory and order ; 7.2 Extensions of models and existential formulas.…”
CONNECT

Metric Embeddings : Bilipschitz and Coarse Embeddings into Banach Spaces. by Ostrovskii, Mikhail I.

Table of Contents: “…Related Banach space theory2.1 Introduction; 2.2 Banach space theory: ultrafilters, ultraproducts, finite representability; 2.2.1 Ultrafilters; 2.2.2 Ultraproducts; 2.2.3 Finite representability; 2.3 Proofs of the main results on relations between embeddability of a locally finite metric space and its finite subsets; 2.3.1 Proof in the bilipschitz case; 2.3.2 Proof in the coarse case; 2.3.3 Remarks on extensions of finite determination results.…”
CONNECT

Modal logic / by Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963-

Table of Contents: “…Machine generated contents note: 1 Basic Concepts -- 1.1 Relational Structures -- 1.2 Modal Languages -- 1.3 Models and Frames -- 1.4 General Frames -- 1.5 Modal Consequence Relations -- 1.6 Normal Modal Logics -- 1.7 Historical Overview -- 1.8 Summary of Chapter 1 -- 2 Models -- 2.1 Invariance Results -- 2.2 Bisimulations -- 2.3 Finite Models -- 2.4 The Standard Translation -- 2.5 Modal Saturation via Ultrafilter Extensions -- 2.6 Characterization and Definability -- 2.7 Simulation and Safety -- 2.8 Summary of Chapter 2 -- Notes -- 3 Frames -- 3.1 Frame Definability -- 3.2 Frame Definability and Second-Order Logic -- 3.3 Definable and Undefinable Properties -- 3.4 Finite Frames -- 3.5 Automatic First-Order Correspondence -- 6 Sahlqvist Formulas -- .7 More about Sahlqvist Formulas -- 2: r ii -- 3.8 Advanced Frame Theory -- 3.9 Summary of Chapter 3 -- Notes -- 4 Completeness -- 4.1 Preliminaries -- 4.2 Canonical Models -- 4.3 Applications -- 4.4 Limitative Results -- 4.5 Transforming the Canonical Model -- 4.6 Step by Step -- 4.7 Rules for the Undefinable -- 4.8 Finitary Methods I -- 4.9 Finitary Methods II -- 4.10 Summary of Chapter 4 -- Notes -- 5 Algebras and General Frames -- 5.1 Logic as Algebra -- 5.2 Algebraizing Modal Logic -- 5.3 The J6nsson-Tarski Theorem -- 5.4 Duality Theory -- 5.5 General Frames -- 5.6 Persistence -- 5.7 Summary of Chapter 5 -- Notes -- 6 Computability and Complexity -- 6.1 Computing Satisfiability -- 6.2 Decidability via Finite Models -- 6.3 Decidability via Interpretations -- 6.4 Decidability via Quasi-models and Mosaics -- 6.5 Undecidability via Tiling -- 6.6 NP -- 6.7 PSPACE -- 6.8 EXPTIME -- 6.9 Summary of Chapter 6 -- Notes -- 7 Extended Modal Logic -- 7.1 Logical Modalities -- 7.2 Since and Until -- 7.3 Hybrid Logic -- 7.4 The Guarded Fragment -- - - : * : ii: : ̃̃̃̃Ii::-:1 -- 7.5 Multi-Dimensional Modal Logic -- 7.6 A Lindstr6m Theorem for Modal Logic -- 7.7 Summary of Chapter 7 -- Notes -- Appendix A A Logical Toolkit -- Appendix B An Algebraic Toolkit -- Appendix C A Computational Toolkit -- Appendix D A Guide to the Literature -- Bibliography -- List of Notation -- Index.…”
CONNECT

Combinatorics : proceedings of the Eighth British Combinatorial Conference, University College, Swansea, 1981 /

Table of Contents: “…Partition theory and its application; 1 Introduction; 2 Sample results; 3 Applications to category theory; 4 Applications to logic; 5 Applications to ultrafilters; 6 Applications to algebra; 7 Applications to partitions of integers; 8 Selective theorems; 9 Remarks on infinite sets and topological spaces; 10 Concluding remarks; References; 6. …”
CONNECT

Surveys in set theory /

Table of Contents: “…Scales; ON THE REGULARITY OF ULTRAFILTERS; REFERENCES; MORASSES IN COMBINATORIAL SET THEORY…”
CONNECT

Theory of relations / by Fraïssé, Roland

CONNECT

Diffusion in solids and liquids: heat transfer - microstructure and properties : 2nd international conference on diffusion in solids and liquids, mass transfer - heat transfer - mi...

Table of Contents: “…Stress Distributions in an Annular Disk Possessing Stress Induced Material Anisotropy -- Numerical Analysis of Triaxial Residual Stresses in Quenched 316H Stainless Steel -- Texture Evolution during High Temperature Plane Strain Compression of High Silicon Steels -- Fracture Toughness of Iron Boride Layers Obtained by Paste Boriding Process -- Self-Affine Patterns of Boride Layers -- Modeling and Simulation of Resin Filling and Cure Processes in Molds Partially Filled with Porous Media -- On the Thermal Conductivity of Adhesively Bonded and Sintered Hollow Sphere Structures (HSS) -- Influence of the Morphology of Joining on the Heat Transfer Properties of Periodic Metal Hollow Sphere Structures -- Calculation of the Effective Thermal Conductivity in Composites Using Finite Element and Monte Carlo Methods -- A Thermodynamical Model for Analysis of Isothermal Phase Transformations under High Pressure -- Comparison between the Thermodynamical Behaviour of PdTe₂ and PtTe₂, while Subjected Isothermally to High Pressure -- Fracture Toughness and Crack Deflection in Porous Multilayered Ceramics: Application to NiO-YSZ -- Finite Element Analysis of Temperature and Density Distributions in Selective Laser Sintering Process -- Comparison between Self-Consistent and Intermediate Approaches for the Simulation of Large Deformation Polycrystal Viscoplasticity -- Evaluation of Transmission Conditions for a Thin Heat-Resistant Inhomogeneous Interphase in Dissimilar Material -- Finite Element Verification of Transmission Conditions for 2D Heat Conduction Problems -- Flux Evaluation in Anisotropic Heat Conduction Using the Modified Local Green's Function Method (MLGFM): Comparative Studies -- Modeling the Longitudinal Temperature Evolution of a Chirped Fiber Bragg Grating Submitted to Temperature Gradients -- The Effective Conductivity of 2D Porous Materials with Temperature Dependent Material Properties -- Two Different Approaches for the Effective Conductivity Investigation of 2D Porous Materials with Temperature Dependent Material Properties -- Design of an Induction Glass Melting Furnace by Means of Mathematical Modelling Using the Finite Element Method -- Estimation of the Heat Flux Through Furnace Side Walls Protected with Water Cooled Cooling Devices -- Heat Conduction of 2D Composite Materials with Symmetric Inclusions: a Model and Reduction to a Vector-Matrix Problem -- Hele-Shaw Model for Melting/Freezing with Two Dendrits -- Intermediates in Ring-Disc Electrode Processes -- Vibration Analysis of a Ni-Ti Shape Memory Alloy Rod -- SPH as an Inverse Numerical Tool for the Prediction of Diffusive Properties in Porous Media -- Evaluation of Thermal and Mechanical Filler Gas Influence on Honeycomb Structures Behavior -- Thermal Post-Impact Behavior of Closed-Cell Cellular Structures with Fillers: Part I -- Thermal Post-Impact Behavior of Closed-Cell Cellular Structures with Fillers: Part II -- Amplification of the Thermocapillary Convection during Evapo-Condensation Cycle in Heat Pipes -- Investigation of Evaporation and Diffusion Phenomena in Porous Media -- A Model for Rapid Solidification for Plasma Spraying -- Design of Moving Components of an Ultra Precision Machine Tool for Nanometric Machining -- A New Inorganic Membrane: TiO₂ Ultrafilter Based on Functionally Graded Porous Alumina -- An Experimental Study on Synthesis and Characterization of Silica Nanoparticles Prepared by Sol-Gel Method -- Production of Zinc Oxide Nanoparticles by Liquid Phase Processing: an Investigation on Optical Properties -- Characterization of Al/SiC Nanocomposite Prepared by Mechanical Alloying Method -- Effect of Micron and Nano Size Oxide Material Additives on Reaction Sintering, Micro Structural and Physical Properties of Al₂TiO₅ Based Ceramics.…”
CONNECT

Topology with applications : topological spaces via near and far / by Naimpally, S. A., Peters, James F.

Table of Contents: “…Uniformity via pseudometrics. 6.2. Filters and ultrafilters. 6.3. Ultrafilters. 6.4. Nets (Moore-Smith convergence). 6.5. …”
CONNECT

The axiom of determinacy, forcing axioms, and the nonstationary ideal / by Woodin, W. H.

Table of Contents: “…1-Dense Ideals -- 6.3 Nonregular Ultrafilters On Ï?1 -- 7 Conditional Variations -- 7.1 Suslin Trees -- 7.2 The Borel Conjecture -- 8 â?…”
CONNECT

Application of Biotechnology in Pulp and Paper Processing /

Table of Contents: “…Chapter 8 Relationship Between Fungal Biomass Production and the Brightening of Hardwood Kraft Pulp by Coriolus VersicolorAbstract; Materials and Methods; Results; Discussion; Acknowledgments; References; Chapter 9 Improved Efficacy of Ultrafiltered Xylanase-Pectinase Concoction in Biobleaching of Plywood Waste Soda Pulp; Chapter 10 Microbial Enzymes: Industrial Progress in 21St Century; Abstract; Introduction; The Use of Enzymes In Industrial Processes; Indian Enzymes Market; Conclusion; References; Abstract; Introduction; Materials and Methods; Results and Discussion; Conclusion…”
CONNECT