Listing 1 - 10 of 26 | << page >> |
Sort by
|
Choose an application
Choose an application
I purpose to treat this subject in the following manner. First, I shall endeavor to trace the several kinds of Evidence and Reasoning up to their first principles; with a view to ascertain the Standard of Truth, and explain immutability. Secondly, I shall show that my sentiments on this head, however inconsistent with the genius of scepticism, and with the practice and principles of sceptical writers, are yet perfectly consistent with the genius of true philosophy, and with the practice and principles of those who are universally allowed to have been the most successful in the investigation of truth: concluding with some inferences or rules; by which the more important fallacies of the sceptical philosophy may be detected by every person of common sense, even though he should not possess acuteness or metaphysical knowledge sufficient to qualify him for a logical confutation of them. Thirdly, I shall answer some objections; and make some remarks, by way of Estimate of Scepticism and sceptical writers. I divide my discourse in this manner, chiefly with a view to the reader's accommodation. An exact arrangement of parts is necessary to confer elegance on a whole; but I am more studious of utility than of elegance. And though my sentiments might have been exhibited in a more systematic order; I am apt to think, that the order in which they first occurred to me is the most natural, and may be the most effectual for accomplishing my purpose. (PsycINFO Database Record (c) 2016 APA, all rights reserved).
Choose an application
Choose an application
Descriptive set theory --- Recursion theory --- Logic, Symbolic and mathematical --- Set theory --- Descriptive set theory. --- Recursion theory.
Choose an application
Descriptive set theory and definable proper forcing are two areas of set theory that developed quite independently of each other. This monograph unites them and explores the connections between them. Forcing is presented in terms of quotient algebras of various natural sigma-ideals on Polish spaces, and forcing properties in terms of Fubini-style properties or in terms of determined infinite games on Boolean algebras. Many examples of forcing notions appear, some newly isolated from measure theory, dynamical systems, and other fields. The descriptive set theoretic analysis of operations on forcings opens the door to applications of the theory: absoluteness theorems for certain classical forcing extensions, duality theorems, and preservation theorems for the countable support iteration. Containing original research, this text highlights the connections that forcing makes with other areas of mathematics, and is essential reading for academic researchers and graduate students in set theory, abstract analysis and measure theory.
Descriptive set theory. --- Forcing (Model theory) --- Model theory --- Set theory
Choose an application
Set theory --- Descriptive set theory --- Forcing (Model theory) --- Borel sets
Choose an application
Set theory --- Descriptive set theory --- Forcing (Model theory) --- Borel sets
Choose an application
Borel sets --- Constructibility (Set theory) --- Descriptive set theory
Choose an application
Set theory --- Descriptive set theory --- Forcing (Model theory) --- Borel sets
Choose an application
Provability, Computability and Reflection
Listing 1 - 10 of 26 | << page >> |
Sort by
|