Set Theory: Boolean-Valued Models and Independence Proofs

Main
Mathematics
Set Theory: Boolean-Valued Models and...

Set Theory: Boolean-Valued Models and Independence Proofs

J.L. Bell

5.0 / 5.0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

年:

2005

版本:

3rd

出版商:

Oxford University Press

語言:

english

頁數:

211

ISBN 10:

0198531680

ISBN 13:

9780198531685

系列:

Oxford Logic Guides 47

文件:

PDF, 1.10 MB

IPFS:

,

english, 2005

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

Cohen, Paul, J;Davis, Martin — Cohen Set Theory and the Continuum Hypothesis

Huai-Dong Cao, Xi-Ping Zhu. — A complete proof of the Poincare and geometrization conjectures - application of the Hamilton-Perelman theory of the Ricci flow

J. Barkley Rosser (Eds.) — Simplified Independence Proofs: Boolean Valued Models of Set Theory

J.Barkley Rosser — Simplified Independence Proofs: Boolean Valued Models of Set Theory

William Bragg Ewald — From Kant to Hilbert: A source book in the foundations of mathematics

Raymond M. Smullyan, Melvin Fitting — Set Theory and the Continuum Problem

Peter T. Johnstone — Sketches of an Elephant: A Topos Theory Compendium, Volumes 1 & 2

J. Michael Dunn, Gary M. Hardegree — Algebraic Methods in Philosophical Logic

Richard Kaye — Models of Peano Arithmetic

J. L. Bell — Toposes and Local Set Theories: An Introduction

Michael Hallett — Cantorian Set Theory and Limitation of Size

Dov. M. Gabbay, Mark A. Reynolds, Marcelo Finger — Temporal Logic: Mathematical Foundations and Computational Aspects

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds — Temporal Logic: Mathematical Foundations and Computational Aspects

Saharon Shelah — Cardinal arithmetic

Laura Crosilla, Peter Schuster — From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

Roman Kossak, Jim Schmerl — The Structure of Models of Peano Arithmetic

Penelope Maddy — Defending the Axioms: On the Philosophical Foundations of Set Theory

Hartley Rogers — Theory of Recursive Functions and Effective Computability

Bell J.L., Slomson A.B. — Models and Ultraproducts: An Introduction

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel — Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Kenneth Kunen — Set Theory: An Introduction to Independence Proofs

Ronald L. Graham, Bruce L. Rothschild, Joel H. Spencer — Ramsey Theory

Mary Tiles — The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise

Stephen G. Simpson — Subsystems of Second Order Arithmetic

George S. Boolos, John P. Burgess, Richard C. Jeffrey — Computability and logic

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

P. T. Johnstone — Notes on Logic and Set Theory

Jan Krajicek — Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

George S. Boolos — The Logic of Provability

John Bell, Moshe Machover — A course in mathematical logic

Winfried Just, Martin Weese — Discovering Modern Set Theory. I: The Basics

Winfried Just, Martin Weese — Discovering Modern Set Theory. II: Set-Theoretic Tools for Every Mathematician

Yiannis N. Moschovakis — Descriptive Set Theory 2nd Edition (Mathematical Surveys and Monographs)

Robert S. Wolf — A Tour Through Mathematical Logic

Juliette Kennedy, Roman Kossak (eds.) — Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies

Keith J. Devlin — Constructibility

Gerald E. Sacks — Higher Recursion Theory

Ilya Molchanov (auth.) — Theory of Random Sets

Paul B. Larson, Jindřich Zapletal — Geometric Set Theory

John L. Bell — Intuitionistic Set Theory

Ralf Schindler — Set Theory: Exploring Independence and Truth

Gerald Enoch Sacks — Saturated model theory

最常見的術語