- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
- Ordinal numbers in arithmetic progression.Frederick Bagemihl & F. Bagemihl - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):525-528.
- Algebraic closure without choice.Bernhard Banaschewski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):383-385.No categories
- On the inadequacy of the relational semantic for the “until” operator.Fabio Bellissima & Alessandra Ciupi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):247-252.
- Reducibility in some categories of partial recursive operators.Caterina Bianchini & Andrea Sorbi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):349-359.
- On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):409-412.
- Russell's alternative to the axiom of choice.Norbert Brunner & Paul Howard - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):529-534.
- Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):85-100.
- Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.No categories
- Representation of posets.Yungchen Cheng & Paula Kemp - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):269-276.No categories
- A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):179-187.
- Provability logic in the Gentzen formulation of arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):535-550.
- La reconstruction Des tournois sans diamant.Cyprien Gnanvo & Pierre Ille - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):283-291.No categories
- A class of models for Skala's set theory.Antonio Greco - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):277-282.
- Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.
- Restriction respectueuse et reconstruction Des chaines et Des relations infinites.Jean Guillaume Hagendorf & J. G. Hagendorf - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):457-490.No categories
- Finite replacement and finite Hilbert-style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):327-344.
- On non-determined Ehrenfeucht-fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):399-408.No categories
- Flagg and Friedman's translation is not faithful.Takao Inoué & T. Inoué - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):551-554.No categories
- An elementary system as and its semi-completeness and decidability.Qin Jun - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):305-320.
- Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):509-519.
- Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):189-195.No categories
- Game approximations of satisfaction classes models.Roman Kossak & Henryk Kotlarski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):21-26.
- A formalism for some class of forcing notions.Piotr Koszmider & P. Koszmider - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):413-421.
- Elimination of quantifiers over vectors in some theories of vector spaces.Andrey A. Kuzichev - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):575-577.No categories
- The ambiguous type theory is hereditarily undecidable.Andrey A. Kuzichev - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):299-300.
- Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and II.Gérard Lopez & Claire Rauzy - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):157-168.No categories
- Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and I.Gérard Lopez & Claire Rauzy - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):27-37.No categories
- Some Ramsey theory in Boolean algebra for complexity classes.Gregory L. McColm - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):293-298.
- On the iterated ω-rule.Grzegorz Michalski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):203-208.
- Iterations of satisfaction classes and models of peano arithmetic.Roman Murawski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):59-84.
- Universal functions in partial structures.Maurizio Negri - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):253-268.No categories
- Ternary operations as primitive notions for plane geometry II.Victor Pambuccian - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):345-348.
- The decision problem for restricted universal quantification in set theory and the axiom of foundation.Franco Parlamento & Alberto Policriti - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):143-156.
- The preservation of submodel relation by taking primitive models.Paweł Pazdyka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):3-19.No categories
- A notation system for ordinal using ψ-functions on inaccessible mahlo numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):431-456.
- An interpretation of Martin-löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):213-240.
- Partially ordered connectives.Gabriel Sandu & Jouko Väänänen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):361-372.We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.
- Two topological equivalents of the axiom of choice.Eric Schechter & E. Schechter - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):555-557.
- Boolean algebras in ast.Klaus Schumacher - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):373-382.
- Anew relation-combining theorem and its application.Zhi-Wei Sun - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):209-212.No categories
- A game-theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.
- On definability of normal subgroups of a superstable group.Akito Tsuboi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):101-106.
- On the incompleteness of a descending chain of extensions of implicational s5.Dolph Ulrich - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):321-323.
- The judgement calculus for intuitionistic linear logic: Proof theory and semantics.Silvio Valentini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):39-58.
- Quantified modal logic with neighborhood semantics.Geir Waagbø & G. Waagbø - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.
- A direct proof of a result of Shelah.Martin Weese - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):325-326.Shelah has shown that the number d, the smallest cardinality of a dominating family, is less than or equal to the number i, the smallest cardinality of a maximal independent family on ω. This was done using a downward Löwenheim-Skolem argument. Thus it is interesting to find a direct “elementary” proof. Here we show that this can be done.
- Compactness, the löwenheim-Skolem property and the direct product of lattices of truth values.Mingsheng Ying - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):521-524.
- The fundamental theorem of ultraproduct in Pavelka's logic.Mingsheng Ying - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):197-201.
- Interdefinability of Lambekian functors.Wojciech Zielonka & W. Zielonka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):501-507.
- Analytic completeness theorem for absolutely continuous biprobability models.Radosav S. Đorđević - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):241-246.
|
|
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-vk9kt uwo