Standard Classes and Interfaces — Supplemental Reference class java.lang.Object o boolean equals(Object other) o String toString() o int hashCode() interface java.lang.Comparable

Source URL: www.cs.utexas.edu

Vaught’s Conjecture and Boolean Algebras Asher M. Kach (Joint with Steffen Lempp) Victoria University of Wellington and University of Connecticut BLAST 2010

Source URL: spot.colorado.edu

• Model theory
• Boolean algebra
• Forcing
• Logic
• Mathematics
• Abstraction
• Complete Boolean algebra
• Order theory
• Conjectures
• Stable theory

First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213

Source URL: select.cs.cmu.edu

• Logic
• Mathematical logic
• Abstraction
• Automated theorem proving
• Model theory
• Predicate logic
• Semantics
• Boolean algebra
• Resolution
• Cutting-plane method
• First-order logic
• Propositional calculus

Combinatorics of Boolean functions and more Gil Kalai (Hebrew University of Jerusalem, Yale University) We will consider the notions of influence and noise sensitivity for Boolean functions. The influence of a variable (

Source URL: www.7ecm.de

The (λ, κ)-FN and the order theory of bases in boolean algebras David Milovich Texas A&M International University http://www.tamiu.edu/∼dmilovich/

Source URL: spot.colorado.edu

• Large cardinals
• Mathematical logic
• Mathematics
• Abstraction
• Cardinal number
• Free Boolean algebra
• Model theory
• Mahlo cardinal
• Weakly compact cardinal

A Brief Introduction to Fourier Analysis on the Boolean Cube

Source URL: theoryofcomputing.org

Introduction van der Waerden ideal W-ultrafilters

Source URL: spot.colorado.edu

• Mathematics
• Order theory
• Non-standard analysis
• Abstraction
• Structure
• Ultrafilter
• Boolean algebra
• Ideal
• Ordinal number

Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University

Source URL: spot.colorado.edu

• Mathematics
• Algebra
• Abstract algebra
• Algebraic logic
• Mathematical logic
• Fuzzy logic
• Boolean algebra
• Algebraic structures
• Residuated lattice
• Relation algebra
• Variety
• Binary relation

THE COMPLEXITY OF SATISFACTION PROBLEMS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of

Source URL: ludovicpatey.com

• Automated theorem proving
• Logic programming
• Logic in computer science
• Boolean algebra
• Model theory
• Substitution
• Boolean satisfiability problem
• Interpretation
• Relationships among probability distributions
• Lifting theory

Ultrametricity indices for the Euclidean and Boolean hypercubes Patrick Erik Bradley Institute of Photogrammetry and Remote Sensing (IPF) Karlsruhe Institute of Technology (KIT)

Source URL: p-adics2015.matf.bg.ac.rs