Cargando…

Simplified independence proofs: Boolean valued models of set theory

Simplified independence proofs

Detalles Bibliográficos
Autor principal:	Rooser, J Barkley
Lenguaje:	eng
Publicado:	Elsevier Science 2014
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2115757

Ejemplares similares

Set theory: Boolean-valued models and independence proofs
por: Bell, John L
Publicado: (2005)

Set theory an introduction to independence proofs
por: Kunen, K
Publicado: (1984)

Boolean valued analysis
por: Kusraev, A G, et al.
Publicado: (1999)

Boolean logic, expressions and theories
por: Carlsen, Victoria C
Publicado: (2020)

Duality theories for Boolean algebras with operators
por: Givant, Steven
Publicado: (2014)

Boolean Functions: Theory, Algorithms, and Applications
por: Crama, Yves, et al.
Publicado: (2011)

The mathematical apparatus for quantum-theories: based on the theory of boolean lattices
por: Nikodým, Otton Martin
Publicado: (1966)

The Mathematical Apparatus for Quantum Theories: Based on the Theory of Boolean Lattices
por: Nikodym, Otton Martin
Publicado: (1966)

Sets, models and proofs
por: Moerdijk, Ieke, et al.
Publicado: (2018)

Special groups: Boolean-theoretic methods in the theory of quadratic forms
por: Dickmann, MA, et al.
Publicado: (2000)

Boolean algebras
por: Sikorski, Roman
Publicado: (1969)

Boolean systems
por: Kaye, Douglas
Publicado: (1968)

Boolean algebras
por: Sikorski, Roman
Publicado: (1964)

Decidability and Boolean representations
por: Burris, Stanley, et al.
Publicado: (1981)

Boolean algebra essentials
por: Solomon, Alan D
Publicado: (2012)

Introduction to boolean algebras
por: Halmos, Paul, et al.
Publicado: (2009)

Lectures on Boolean algebras
por: Halmos, Paul Richard
Publicado: (1974)

Logic and Boolean algebra
por: Arnold, Bradford Henry
Publicado: (1962)

Boolean differential equations
por: Steinbach, Bernd, et al.
Publicado: (2013)

Boolean algebras in analysis
por: Vladimirov, D A
Publicado: (2002)

Proof theory
por: Schütte, Kurt
Publicado: (1977)

Proof theory
por: Jervell, Herman Ruge
Publicado: (2013)

Cardinal invariants on Boolean algebras
por: Monk, J Donald
Publicado: (2014)

Cardinal functions on Boolean algebras
por: Monk, J Donald
Publicado: (1990)

Cardinal invariants on Boolean algebras
por: Monk, J Donald
Publicado: (2009)

Boolean models and methods in mathematics, computer science, and engineering
por: Crama, Yves, et al.
Publicado: (2010)

Cryptographic boolean functions and applications
por: Cusick, Thomas W, et al.
Publicado: (2017)

Cryptographic Boolean functions and applications
por: Cusick, Thomas W, et al.
Publicado: (2009)

Boolean algebra with computer applications
por: Williams, Gerald E
Publicado: (1970)

Nearly projective Boolean algebras
por: Heindorf, Lutz, et al.
Publicado: (1994)

Boolean constructions in universal algebras
por: Pinus, A G
Publicado: (1993)

Boolean functions: topics in asynchronicity
por: Vlad, Serban E
Publicado: (2019)

Set theory: exploring independence and truth
por: Schindler, Ralf
Publicado: (2014)

A model–theoretic approach to proof theory
por: Adamowicz, Zofia, et al.
Publicado: (2019)

Proof theory: an introduction
por: Pohlers, Wolfram
Publicado: (1989)

Advances in proof theory
por: Kahle, Reinhard, et al.
Publicado: (2016)

Applied proof theory: proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich
Publicado: (2008)

Classic set theory: for guided independent study
por: Goldrei, DC
Publicado: (1996)

Boolean representations of simplicial complexes and matroids
por: Rhodes, John, et al.
Publicado: (2015)

A Boolean algebra: abstract and concrete
por: Bowran, A P
Publicado: (1965)

Cannot write session to /tmp/vufind_sessions/sess_1209hhdbrhdgugnn9bkej5038l