One hundred and two problems in mathematical logic
From MaRDI portal
Publication:4079563
Cites work
- scientific article; zbMATH DE number 3289430 (Why is no real title available?)
- scientific article; zbMATH DE number 3356762 (Why is no real title available?)
- scientific article; zbMATH DE number 3027246 (Why is no real title available?)
- A minimal pair of Π10 classes
- A model of set-theory in which every set of reals is Lebesgue measurable
- Beth's theorem in cardinality logics
- Distributive Initial Segments of the Degrees of Unsolvability
- Fundamenta Mathematicae: An Examination of Its Founding and Significance
- Infinitary analogs of theorems from first order model theory
- Internal cohen extensions
- Iterated Cohen extensions and Souslin's problem
- Measurable cardinals and \(\Delta^1_3\) well-orderings
- Minimal α-degrees
- On the consistency of a slight (?) modification of Quine's 'New Foundations'
- Some minimal pairs of α-recursively enumerable degrees
- The axiom of determinateness and reduction principles in the analytical hierarchy
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- The elementary theory of recursively enumerable sets
- The solution of a decision problem for several classes of rings
- The α-finite injury method
Cited in
(82)- A tableau method for checking rule admissibility in S4
- Turing machine computations in finitely axiomatizable theories
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).
- Complexity of reals in inner models of set theory
- An explicit basis for admissible rules of modal logics of finite width
- A Basis Theorem for Perfect Sets
- Elementary theories of free topo-Boolean and pseudo-Boolean algebras
- An explicit basis for admissible inference rules in table modal logics of width 2
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
- Almost structural completeness; an algebraic approach
- Temporal logic with accessibility temporal relations generated by time states themselves
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
- KD is nullary
- Admissible bases via stable canonical rules
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Iterated forcing and changing cofinalities
- Complexity of admissible rules
- Surrealist landscape with figures (a survey of recent results in set theory)
- Duality Between Logics and Equivalence Relations
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
- Realisability for infinitary intuitionistic set theory
- Decomposing uncountable squares to countably many chains
- Refuting Ehrenfeucht conjecture on rigid models
- Proof complexity of non-classical logics
- Remark on Kreisel's conjecture
- Ranks and pregeometries in finite diagrams
- Linear temporal logic with until and next, logical consecutions
- Admissible rules for pretable modal logics
- Admissible and derivable rules in intuitionistic logic
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Partitions of topological spaces and a new club-like principle
- Example of an \(omega_ 1-\)categorical complete finitely axiomatizable theory
- Solvability of logical equations in the modal system Grz and intuitionistic logic
- Bases of admissible rules of the logics S4 and Int
- Interpretability of various extensions of arithmetic
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Splitting properties and jump classes
- Finite frames fail: how infinity works its way into the semantics of admissibility
- Provability interpretations of modal logic
- A note on extensions: admissible rules via semantics
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- The Kreisel length-of-proof problem
- Admissibility and refutation: some characterisations of intermediate logics
- On unification and admissible rules in Gabbay-de Jongh logics
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Multiple conclusion rules in logics with the disjunction property
- On two problems of Harvey Friedman
- On the number of steps in proofs
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Equations in free topoboolean algebra
- On maximal intermediate predicate constructive logics
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
- Boolean-valued set theory and forcing
- Logical equations and admissible rules of inference with parameters in modal provability logics
- Proof theory for admissible rules
- Modal logics with several operators and probability interpretations
- 1997–1998 Winter Meeting of the Association for Symbolic Logic
- In Memoriam: George Stephen Boolos 1940–1996
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Globally admissible inference rules
- On the ‘definability of definable’ problem of Alfred Tarski, Part II
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- A new proof of Friedman's conjecture
- Preservation of admissible rules when combining logics
- There is no bound on Borel classes of graphs in the Luzin–Novikov theorem
- Admissible inference rules of modal WCP-logics
- On a question of Slaman and Groszek
- Admissible rules for six intuitionistic modal logics
- An explicit basis for \textit{WCP}-globally admissible inference rules
- Order types of models of fragments of Peano arithmetic
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Explicit basis for admissible rules in \(K\)-saturated tabular logics
- Anderson and Belnap's invitation to sin
- Description of modal logics which enjoy co-cover property
- Barwise: Abstract Model Theory and Generalized Quantifiers
- Basis of globally admissible rules for logic S4
This page was built for publication: One hundred and two problems in mathematical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4079563)
