Blaine d'Entremont

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The concept of compactness is a necessary condition of any system that is going to call itself a finitary method of proof. However, it can also apply to predicates of sets of formulas in general and in that manner it can be used in relation to level functions, a flavor of measure functions. In what follows we will tie these concepts of measure and(More)
  • 1