Search Results for ""

Even though real arithmetic is uncountable, it possesses a countable "model."

The Löwenheim-Skolem theorem is a fundamental result in model theory which states that if a countable theory has a model, then it has a countable model. Furthermore, it has a ...

The phrase dependent percolation is used in two-dimensional discrete percolation to describe any general model in which the states of the various graph edges (in the case of ...

To predict the result of a measurement requires (1) a model of the system under investigation, and (2) a physical theory linking the parameters of the model to the parameters ...

The proposition that every consistent generalized theory has a model. The theorem is true if the axiom of choice is assumed.

Continuum percolation can be thought of as a continuous, uncountable version of percolation theory-a theory which, in its most studied form, takes place on a discrete, ...

The dual polyhedron of the small rhombidodecahedron and Wenninger model W_(74).

A curve whose name means "shell form." Let C be a curve and O a fixed point. Let P and P^' be points on a line from O to C meeting it at Q, where P^'Q=QP=k, with k a given ...

In discrete percolation theory, bond percolation is a percolation model on a regular point lattice L=L^d in d-dimensional Euclidean space which considers the lattice graph ...

A plot of y_i versus the estimator e_i=y^^_i-y_i. Random scatter indicates the model is probably good. A pattern indicates a problem with the model. If the spread in e_i ...