13,420 research outputs found
Topological set theories and hyperuniverses
We give a new set theoretic system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK and the theory of hyperuniverses. On the other hand, it retains most of the expressiveness of these theories and has the same consistency strength as ZF. We single out the additional axiom of the universal set as the one that increases the consistency strength to that of GPK and explore several other axioms and interrelations between those theories.
Hyperuniverses are a natural class of models for theories with a universal set. The Aleph_0- and Aleph_1-dimensional Cantor cubes are examples of hyperuniverses with additivity Aleph_0, because they are homeomorphic to their hyperspace. We prove that in the realm of spaces with uncountable additivity, none of the generalized Cantor cubes has that property.
Finally, we give two complementary constructions of hyperuniverses which generalize many of the constructions found in the literature and produce initial and terminal hyperuniverses
An approach to basic set theory and logic
The purpose of this paper is to outline a simple set of axioms for basic set
theory from which most fundamental facts can be derived. The key to the whole
project is a new axiom of set theory which I dubbed "The Law of Extremes". It
allows for quick proofs of basic set-theoretic identities and logical
tautologies, so it is also a good tool to aid one's memory.
I do not assume any exposure to euclidean geometry via axioms. Only an
experience with transforming algebraic identities is required.
The idea is to get students to do proofs right from the get-go. In
particular, I avoid entangling students in nuances of logic early on. Basic
facts of logic are derived from set theory, not the other way around.Comment: 22 page
Holomorphic Quantization of Linear Field Theory in the General Boundary Formulation
We present a rigorous quantization scheme that yields a quantum field theory
in general boundary form starting from a linear field theory. Following a
geometric quantization approach in the K\"ahler case, state spaces arise as
spaces of holomorphic functions on linear spaces of classical solutions in
neighborhoods of hypersurfaces. Amplitudes arise as integrals of such functions
over spaces of classical solutions in regions of spacetime. We prove the
validity of the TQFT-type axioms of the general boundary formulation under
reasonable assumptions. We also develop the notions of vacuum and coherent
states in this framework. As a first application we quantize evanescent waves
in Klein-Gordon theory
A minimal classical sequent calculus free of structural rules
Gentzen's classical sequent calculus LK has explicit structural rules for
contraction and weakening. They can be absorbed (in a right-sided formulation)
by replacing the axiom P,(not P) by Gamma,P,(not P) for any context Gamma, and
replacing the original disjunction rule with Gamma,A,B implies Gamma,(A or B).
This paper presents a classical sequent calculus which is also free of
contraction and weakening, but more symmetrically: both contraction and
weakening are absorbed into conjunction, leaving the axiom rule intact. It uses
a blended conjunction rule, combining the standard context-sharing and
context-splitting rules: Gamma,Delta,A and Gamma,Sigma,B implies
Gamma,Delta,Sigma,(A and B). We refer to this system M as minimal sequent
calculus.
We prove a minimality theorem for the propositional fragment Mp: any
propositional sequent calculus S (within a standard class of right-sided
calculi) is complete if and only if S contains Mp (that is, each rule of Mp is
derivable in S). Thus one can view M as a minimal complete core of Gentzen's
LK.Comment: To appear in Annals of Pure and Applied Logic. 15 page
- …