scientific article; zbMATH DE number 3289430
From MaRDI portal
Publication:5573370
zbMath0182.01301MaRDI QIDQ5573370
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Program logic and equivalence in the presence of garbage collection. ⋮ Cantor and generalized continuum hypotheses may be false ⋮ Forcing in nonstandard analysis ⋮ Gödel's incompleteness theorem ⋮ Higher randomness and forcing with closed sets ⋮ Category theory, logic and formal linguistics: some connections, old and new ⋮ Logical quantization of topos theory ⋮ A simple dynamic logic ⋮ Continuing horrors of topology without choice ⋮ Nonconstructive properties of well-ordered T\(_2\) topological spaces ⋮ True or false? A case in the study of harmonic functions ⋮ The consistency strength of projective absoluteness ⋮ Justification of the continuum hypothesis ⋮ Kinna-Wagner selection principles, axioms of choice and multiple choice ⋮ Is there an ontology of infinity? ⋮ Quantum mechanics, formalization and the cosmological constant problem ⋮ Boolean-valued analysis of order-bounded operators ⋮ A finitely axiomatized formalization of predicate calculus with equality ⋮ Independence-friendly logic and axiomatic set theory ⋮ Quantum set theory extending the standard probabilistic interpretation of quantum theory ⋮ A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach ⋮ Determinacy of refinements to the difference hierarchy of co-analytic sets ⋮ Exponents of some N-compact spaces ⋮ Rings of real-valued continuous functions. II ⋮ Set theory and the analyst ⋮ Sacks forcing does not always produce a minimal upper bound ⋮ von Neumann standard quantum mechanics is logically inconsistent ⋮ Forcing and the universe of sets: must we lose insight? ⋮ Sheaf models for set theory ⋮ A Dedekind finite Borel set ⋮ Positive theories of free inverse semigroups ⋮ On the formalization of theories ⋮ Higher Kurtz randomness ⋮ Independence of two set-theoretic statements in the theory of summation ⋮ On the necessary use of abstract set theory ⋮ Paul Cohen and forcing in 1963 ⋮ A Suppes predicate for general relativity and set-theoretically generic spacetimes ⋮ Axiomatic derivation of the continuum hypothesis ⋮ Undecidability and incompleteness in classical mechanics ⋮ Real set theory ⋮ Forcing formulas in Fraïssé structures and classes ⋮ Are mathematical theories reducible to non-analytic foundations? ⋮ Iterated admissibility through forcing in strategic belief models ⋮ On the effective content of asymptotic verifications of Edgeworth's Conjecture ⋮ Hypersets ⋮ Iterated extended ultrapowers and supercompactness without choice ⋮ A semantic hierarchy for intuitionistic logic ⋮ Ekeland variational principles in 2-local branciari metric spaces ⋮ Homotopic metric-interval L-contractions in gauge spaces ⋮ Analytic methods in Rhoades contractions theory ⋮ Final compactness and separability in regular symmetrizable spaces ⋮ Resolution of the cohomology comparison problem for amenable Banach algebras ⋮ Lowness of higher randomness notions ⋮ Map theory ⋮ Sets and supersets ⋮ On explicating the concept `the power of an arithmetical theory' ⋮ On the realization of convex polytopes, Euler's formula and Möbius functions ⋮ Cardinal representatives ⋮ Singular cardinals ⋮ A proof of Hume's separation thesis based on a formal system for descriptive and normative statements ⋮ Extensions of the measurable choice theorem by means of forcing ⋮ Vagueness, truth and logic ⋮ Colouring without triangles and partition relation ⋮ Infinite coforcing in model theory ⋮ Infinite Abelian groups, Whitehead problem and some constructions ⋮ Automated search for Gödel's proofs ⋮ Levy and set theory ⋮ Models of set theory with definable ordinals ⋮ Elementary extensions of Levy's model of \(A^-_2\) ⋮ The theorem of Gleason for non-separable Hilbert spaces ⋮ On the consistency of Borel's conjecture ⋮ Borel preference orders in markets with a continuum of traders ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Boolean-valued set theory and forcing ⋮ Robinson forcing is not absolute ⋮ The problem of the continuum ⋮ A survey of predicate realizability logic ⋮ Forcing infinito generalizzato in teoria dei modelli ⋮ The independence results of set theory: An informal exposition ⋮ Ground confluence of order-sorted conditional specifications modulo axioms ⋮ Theory of proofs (arithmetic and analysis) ⋮ Distilling the requirements of Gödel's incompleteness theorems with a proof assistant ⋮ On the independence of core-equivalence results from Zermelo-Fraenkel set theory ⋮ Using forcing to prove completeness of resolution and paramodulation ⋮ A Kuroda-style \(j\)-translation ⋮ Mathematical metaphysics of randomness ⋮ Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent ⋮ Cardinality of bicompacta with the weak first countability axiom ⋮ Perturbed geometric contractions in ordered metric spaces ⋮ Meir-Keeler sequential contractions and Pata fixed point results ⋮ Categorical set theory: A characterization of the category of sets ⋮ Topos theory and Souslin's hypothesis ⋮ Six impossible rings ⋮ Measurable cardinals and the continuum hypothesis ⋮ Reflection principles, generic large cardinals, and the continuum problem ⋮ Ultimate stochastic entities ⋮ Dealing with zero-time transitions in axiom systems. ⋮ N. N. Luzin's problems on imbeddability and decomposability of projective sets ⋮ A single axiom for set theory ⋮ Links between physics and set theory.
This page was built for publication:
