Pages that link to "Item:Q4175544"
From MaRDI portal
The following pages link to Two Applications of Logic to Mathematics (Q4175544):
Displaying 50 items.
- Boolean-valued analysis of order-bounded operators (Q341715) (← links)
- Systems of quantum logic (Q361857) (← links)
- Boolean methods in positivity (Q467640) (← links)
- Boolean trends in linear inequalities (Q467647) (← links)
- Empirical set theory (Q689299) (← links)
- Foundations for analysis and proof theory (Q798634) (← links)
- Boolean-linear spaces (Q802637) (← links)
- A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations (Q878123) (← links)
- A new psychologism in logic? Reflections from the point of view of belief revision (Q934826) (← links)
- Pi on earth, or mathematics in the real world (Q948981) (← links)
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory (Q981685) (← links)
- Subdifferentials in Boolean-valued models of set theory (Q1062674) (← links)
- Boolean valued analysis and type I \(AW^*\)-algebras (Q1067558) (← links)
- Diagonalization of continuous matrices as a representation of intuitionistic reals (Q1086560) (← links)
- Cyclic monads and their application (Q1093633) (← links)
- Quantum sets and Clifford algebras (Q1167723) (← links)
- Boolean fuzzy sets (Q1187440) (← links)
- Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules (Q1200431) (← links)
- Mathematical quantum theory. I: Random ultrafilters as hidden variables (Q1293048) (← links)
- Forcing in nonstandard analysis (Q1331917) (← links)
- A sheaf model for intuitionistic quantum mechanics (Q1346410) (← links)
- Quantum set theory extending the standard probabilistic interpretation of quantum theory (Q1670508) (← links)
- Contextual semantics in quantum mechanics from a categorical point of view (Q1708773) (← links)
- Measures and integrals in conditional set theory (Q1711095) (← links)
- Quantum number theory (Q1770337) (← links)
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism (Q1781411) (← links)
- On the duality between Boolean-valued analysis and reduction theory under the assumption of separability (Q1801524) (← links)
- A Boolean-valued approach to Gleason's theorem (Q1805285) (← links)
- Embedding intuitionistic-type theory in negationless-type theory (Q1820157) (← links)
- Manuals in orthogonal categories (Q1891470) (← links)
- Empirical sets (Q1891471) (← links)
- The logical quantization of algebraic groups (Q1897598) (← links)
- Logical quantization of differential geometry (Q1910872) (← links)
- Logical quantizations of first-order structures (Q1915367) (← links)
- Empirical quantum mechanics (Q1919234) (← links)
- Quantum mechanics, formalization and the cosmological constant problem (Q2151532) (← links)
- Geometric characterization of preduals of injective Banach lattices (Q2196734) (← links)
- Logical quantization of topos theory (Q2365463) (← links)
- Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910) (← links)
- Quantum set theory: transfer principle and De Morgan's laws (Q2659103) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Boolean information sieves: a local-to-global approach to quantum information (Q3068125) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4 (Q3296112) (← links)
- Abstract Theory of Abelian Operator Algebras: An Application of Forcing (Q3728892) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- (Q4291522) (← links)
- Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics (Q4390948) (← links)
- Некоторые замечания о нестандартных методах анализа. I (Q4970106) (← links)