1,879 results on '"Mathematical theorems"'
Search Results
2. Partitioning Large Vector Spaces
3. Additivity Properties of Topological Diagonalizations
4. A Theory for Log-Space and NLIN versus co-NLIN
5. Distinguishing Types of Gaps in P(ω)/fin
6. A Short Proof of the Strong Normalization of Classical Natural Deduction with Disjunction
7. Categoricity and U-Rank in Excellent Classes
8. A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic
9. Cardinal-Preserving Extensions
10. Recovering Ordered Structures from Quotients of Their Automorphism Groups
11. The Axiom of Choice and Combinatory Logic
12. Expansions of Geometries
13. Transfer Methods for O-Minimal Topology
14. A Hierarchy for the Plus Cupping Turing Degrees
15. Classical and Constructive Hierarchies in Extended Intuitionistic Analysis
16. Non-Well-Foundedness of Well-Orderable Power Sets
17. Isomorphisms of Splits of Computably Enumerable Sets
18. Atomless Varieties
19. On Revision Operators
20. Constructive Interpolation in Hybrid Logic
21. Classification Theory and $0^\#$
22. Exactly Controlling the Non-Supercompact Strongly Compact Cardinals
23. A Simple Maximality Principle
24. Automorphism Groups of Trivial Strongly Minimal Structures
25. Inequivalent Representations of Geometric Relation Algebras
26. ZF + "Every Set Is the Same Size as a Wellfounded Set"
27. Separably Closed Fields with Hasse Derivations
28. Presburger Sets and P-Minimal Fields
29. Definable Sets in Boolean Ordered O-Minimal Structures. II
30. An Application of Graphical Enumeration to PA
31. Group Configurations and Germs in Simple Theories
32. Regular Enumerations
33. A Constructive Look at the Completeness of the Space $\mathcal{D} (\mathbb{R})$
34. Smooth Classes without AC and Robinson Theories
35. Splitting and Nonsplitting, II: A $Low_2$ c.e. Degree above Which 0' Is Not Splittable
36. Automorphism Groups of Models of Peano Arithmetic
37. Some Highly Saturated Models of Peano Arithmetic
38. Frege's Unofficial Arithmetic
39. Defining Transcendentals in Function Fields
40. 0 # and Inner Models
41. Generic Variations of Models of T
42. $\aleph_{0}-Categorical$ Structures with Arbitrarily Fast Growth of Algebraic Closure
43. Some Results on Permutation Group Isomorphism and Categoricity
44. Generalized R-Cohesiveness and the Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness"
45. Properties of Forking in ω-Free Pseudo-Algebraically Closed Fields
46. PDL Has Interpolation
47. On the Binding Group in Simple Theories
48. The Relation of Recursive Isomorphism for Countable Structures
49. Splitting Properties of n-C.E. Enumeration Degrees
50. An Isomorphism between Monoids of External Embeddings about Definability in Arithmetic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.