Ata uhi

QR Code

Forcing for mathematicians /

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Weaver, Nik (Author)
Hōputu:	Tāhiko īPukapuka
Reo:	Ingarihi
I whakaputaina:	[Hackensack] New Jersey : World Scientific, [2014]
Ngā marau:	Forcing (Model theory) Set theory. Axiom of choice. Continuum hypothesis. Electronic books.
Urunga tuihono:	An electronic book accessible through the World Wide Web; click to view
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

Notes on forcing axioms /
mā: Todorcevic, Stevo
I whakaputaina: (2014)

Set theory and the continuum hypothesis. /
mā: Cohen, Paul J.

The axiom of determinacy, forcing axioms, and the nonstationary ideal
mā: Woodin, W. H. (W. Hugh)
I whakaputaina: (2010)

Fine structure and class forcing
mā: Friedman, Sy D., 1953-
I whakaputaina: (2000)

Logic without borders /
I whakaputaina: (2015)

Mathematical logic
mā: Tourlakis, George J.
I whakaputaina: (2003)

Infinity and truth /
I whakaputaina: (2014)

Computational prospects of infinity
I whakaputaina: (2008)

Infinity and the mind : the science and philosophy of the infinite /
mā: Rucker, Rudy
I whakaputaina: (1982)

Axioms for lattices and boolean algebras
mā: Padmanabhan, R. (Ranganathan), 1938-
I whakaputaina: (2008)

Computability in context computation and logic in the real world /
I whakaputaina: (2011)

Distribution models theory
I whakaputaina: (2006)

Institution-independent model theory
mā: Diaconescu, Răzvan
I whakaputaina: (2008)

Simple theories and hyperimaginaries
mā: Casanovas, Enrique, 1957-
I whakaputaina: (2011)

The natural axiom system of probability theory mathematical model of the random universe /
mā: Xiong, Daguo
I whakaputaina: (2003)

The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
mā: Ciesielski, Krzysztof, 1957-
I whakaputaina: (2004)

Consistency, choice, and rationality
mā: Bossert, Walter
I whakaputaina: (2010)

Sets and ordered structures
mā: Rudeanu, Sergiu
I whakaputaina: (2012)

The nuts and bolts of proofs
mā: Cupillari, Antonella
I whakaputaina: (2005)

Ways of proof theory
mā: Schindler, Ralf
I whakaputaina: (2010)

Charming proofs a journey into elegant mathematics /
mā: Alsina, Claudi
I whakaputaina: (2010)

Recursion theory : computational aspects of definability /
mā: Chong, C.-T. (Chi-Tat), 1949-, me ētahi atu.
I whakaputaina: (2015)

Set theory : an introduction /
mā: Vaught, Robert L, 1926-
I whakaputaina: (2001)

Continuum mechanics
I whakaputaina: (2010)

Street-fighting mathematics the art of educated guessing and opportunistic problem solving /
mā: Mahajan, Sanjoy, 1969-
I whakaputaina: (2010)

Memoirs of a proof theorist Gödel and other logicians /
mā: Takeuti, Gaisi, 1926-
I whakaputaina: (2003)

Is rational choice theory all of social science?
mā: Lichbach, Mark Irving, 1951-
I whakaputaina: (2003)

The handbook of rational choice social research
I whakaputaina: (2013)

Recursion theory for metamathematics
mā: Smullyan, Raymond M.
I whakaputaina: (1993)

Proof, logic, and formalization
I whakaputaina: (1992)

Tracking reason proof, consequence, and truth /
mā: Azzouni, Jody
I whakaputaina: (2006)

Mathematics without numbers towards a modal-structural interpretation /
mā: Hellman, Geoffrey
I whakaputaina: (1989)

Aggregation in economic analysis : an introduction survey /
mā: Green, H. A. John
I whakaputaina: (1964)

Analysis and control of nonlinear systems with stationary sets time-domain and frequency-domain methods /
I whakaputaina: (2009)

Concepts of proof in mathematics, philosophy, and computer science /
I whakaputaina: (2016)

Political bargaining theory, practice and process /
mā: Doron, Gideon
I whakaputaina: (2001)

Lectures on the Curry-Howard isomorphism
mā: Sørensen, Morten Heine
I whakaputaina: (2006)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
I whakaputaina: (1998)

Rationality and commitment
I whakaputaina: (2007)

Choice-free rationality a positive theory of political behavior /
mā: Grafstein, Robert, 1948-
I whakaputaina: (1999)