Works matching IS 09335846 AND DT 2019 AND VI 58 AND IP 1/2
Results: 14
A model of the generic Vopěnka principle in which the ordinals are not Mahlo.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 245, doi. 10.1007/s00153-018-0632-5
- By:
- Publication type:
- Article
An extension of Shelah's trichotomy theorem.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 137, doi. 10.1007/s00153-018-0631-6
- By:
- Publication type:
- Article
A completeness theorem for continuous predicate modal logic.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 183, doi. 10.1007/s00153-018-0630-7
- By:
- Publication type:
- Article
Uniform interpolation and sequent calculi in modal logic.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 155, doi. 10.1007/s00153-018-0629-0
- By:
- Publication type:
- Article
Selfextensional logics with a distributive nearlattice term.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 219, doi. 10.1007/s00153-018-0628-1
- By:
- Publication type:
- Article
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 203, doi. 10.1007/s00153-018-0627-2
- By:
- Publication type:
- Article
Sequent calculus for classical logic probabilized.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 119, doi. 10.1007/s00153-018-0626-3
- By:
- Publication type:
- Article
Extendible cardinals and the mantle.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 71, doi. 10.1007/s00153-018-0625-4
- By:
- Publication type:
- Article
The iterability hierarchy above I3.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 77, doi. 10.1007/s00153-018-0624-5
- By:
- Publication type:
- Article
A strong failure of ℵ0-stability for atomic classes.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 99, doi. 10.1007/s00153-018-0623-6
- By:
- Publication type:
- Article
Families of sets related to Rosenthal's lemma.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 53, doi. 10.1007/s00153-018-0621-8
- By:
- Publication type:
- Article
Strange ultrafilters.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 35, doi. 10.1007/s00153-018-0620-9
- By:
- Publication type:
- Article
Convexity and unique minimum points.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 27, doi. 10.1007/s00153-018-0619-2
- By:
- Publication type:
- Article
Diagonal reflections on squares.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 1/2, p. 1, doi. 10.1007/s00153-018-0614-7
- By:
- Publication type:
- Article