Switch to: References

Add citations

You must login to add citations.
  1. Quantum set theory: Transfer Principle and De Morgan's Laws.Masanao Ozawa - 2021 - Annals of Pure and Applied Logic 172 (4):102938.
    In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Scott incomplete Boolean ultrapowers of the real line.Masanao Ozawa - 1995 - Journal of Symbolic Logic 60 (1):160-171.
    An ordered field is said to be Scott complete iff it is complete with respect to its uniform structure. Zakon has asked whether nonstandard real lines are Scott complete. We prove in ZFC that for any complete Boolean algebra B which is not (ω, 2)-distributive there is an ultrafilter U of B such that the Boolean ultrapower of the real line modulo U is not Scott complete. We also show how forcing in set theory gives rise to examples of Boolean (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Combinatorial principles in nonstandard analysis.Mauro Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
    We study combinatorial principles related to the isomorphism property and the special model axiom in nonstandard analysis.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Standardization principle of nonstandard universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
    A bounded ultrasheaf is a nonstandard universe constructed from a superstructure in a Boolean valued model of set theory. We consider the bounded elementary embeddings between bounded ultrasheaves. Then the standardization principle is true if and only if the ultrafilters are comparable by the Rudin-Frolik order. The base concept is that the bounded elementary embeddings correspond to the complete Boolean homomorphisms. We represent this by the Rudin-Keisler order of ultrafilters of Boolean algebras.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • Background Independence in Quantum Gravity and Forcing Constructions.Jerzy Król - 2004 - Foundations of Physics 34 (3):361-403.
    A general duality connecting the level of a formal theory and of a metatheory is proposed. Because of the role of natural numbers in a metatheory the existence of a dual theory is conjectured, in which the natural numbers become formal in the theory but in formalizing non-formal natural numbers taken from the dual metatheory these numbers become nonstandard. For any formal theory there may be in principle a dual theory. The dual shape of the lattice of projections over separable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996.Yuzuru Kakuda, Kanji Namba & Nobuyoshi Motohashi - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):95-110.
  • Combinatorial principles in nonstandard analysis.Mauro Di Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
    We study combinatorial principles related to the isomorphism property and the special model axiom in nonstandard analysis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark