لیست کتاب های کلمه کلیدی: #Set theory

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Published on: 2020
Beginner Computer Science and Theory English

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also …

Well-quasi-orders Proof theory Automata Formal languages Set theory
Set theory: Centre de recerca matematica Barcelona, 2003-2004
Published on: 2006
Unordered Unordered English

This volume has its origins in the Research Programme on Set Theory and its Applications that took place at the …

Set theory Mathematical logic Barcelona Research 2003-2004
Lectures on Mathematical Logic Volume I Set Theoretical Logic - The Algebra of Models
Published on: 2000
Beginner Unordered English

This is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical …

Set theory Logic Models Algebra Mathematics
Principia Mathematica
Published on: 1927
Beginner Astronomy English

Principia Mathematica was first published in 1910-1913; this is the fifth impression of the second edition of 1925-1927. The Principia …

Logicism Propositions Formalism Set theory Foundations
Sets, Logic and Categories
Published on: 1998
Beginner Set Theory English

Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics …

Mathematics Set theory Logic Categories Foundations
Set Theory and the Continuum Problem
Published on: 1996
Beginner Set Theory English

Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. …

Set theory Continuum Cantor Cardinality Mathematics
Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way
Published on: 1995
Beginner Set Theory English

An advanced graduate course. Some knowledge of forcing is assumed, and some elementary Mathematical Logic, e.g. the Lowenheim-Skolem Theorem. A …

Set theory Forcing Borel sets Theorems Mathematical analysis
Topology and Borel Structure: Descriptive topology and set theory with applications to functional analysis and measure theory
Published on: 1974
Beginner Set Theory English

Descriptive topology Set theory Functional analysis Measure theory Borel structure
Set Theory: Boolean-Valued Models and Independence Proofs
Published on: 2005
Beginner Set Theory English

Boolean-valued models Forcing Independence Set theory Continuum hypothesis

Page of